default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLogic Journal of the IGPL, Volume 15, 2007
Volume 15, Number 1, January 2007
- Romas Alonderis:
Glivenko Classes of Sequents for Propositional Star-Free Likelihood Logic. 1-19 - Tarek Sayed Ahmed:
An Interpolation Theorem for First Order Logic with Infinitary Predicates. 21-32 - Tarek Sayed Ahmed:
On Neat Reducts and Amalgamation. 33-39 - Tarek Sayed Ahmed, Basim Samir
:
A Neat Embedding Theorem for Expansions of Cylindric Algebras. 41-51 - Valentin Goranko, Alberto Zanardo:
From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability. 53-76 - David Fernández-Duque:
Dynamic Topological Completeness for R2. 77-107 - Rodolfo C. Ertola, Adriana Galli, Marta Sagastume:
Compatible Functions in Algebras Associated to Extensions of Positive Logic. 109-119
Volume 15, Number 2, March 2007
- Ariel Arbiser, Fairouz Kamareddine, Alejandro Ríos:
The Weak Normalization of the Simply Typed lambda-se-calculus. 121-147 - Ryo Ishigaki, Kentaro Kikuchi:
A Tree-Sequent Calculus for a Natural Predicate Extension of Visser's Propositional Logic. 149-164 - Lloyd Humberstone, Robert K. Meyer:
The Relevant Equivalence Property. 165-181 - Miklós Ferenczi:
On Cylindric Algebras Satisfying Merry-go-round Properties. 183-197
Volume 15, Number 3, June 2007
- Ernst Zimmermann:
Substructural Logics in Natural Deduction. 211-232 - Andrea Iacona:
Not Everything is Possible. 233-237 - Erica Calardo, Vladimir V. Rybakov:
An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK. 239-254 - Ruaan Kellerman:
First-Order Theories of Orthogonality Structures. 255-270 - Heinrich Wansing:
A Note on Negation in Categorial Grammar. 271-286
Volume 15, Number 4, August 2007
- Hans van Ditmarsch, María Manzano:
Editorial "Tools for Teaching Logic". 289-292 - Krysia Broda, Jiefei Ma, Gabrielle Sinnadurai, Alexander J. Summers:
Pandora: A Reasoning Toolbox using Natural Deduction Style. 293-304 - Ludmila Dostálová, Jaroslav Lang:
ORGANON - The Web Tutor for Basic Logic Courses. 305-311 - Edmund Harriss, Wilfrid Hodges:
Logic for Mathematical Writing. 313-320 - Antonia Huertas:
Teaching and Learning Logic in a Virtual Learning Environment. 321-331 - Ekaterina Ovchinnikova, Frank Richter:
Morph Moulder: Teaching Software for HPSG and Description Logics. 333-345 - Belén Pérez Lancho, Elena Jorge, Ana de la Viuda, Raquel Sanchez:
Software Tools in Logic Education: Some Examples. 347-357 - Wilfried Sieg:
The AProS Project: Strategic Thinking & Computational Logic. 359-368
Volume 15, Number 5-6, October/December 2007
- Jaime Alejandro Bohórquez:
An Inductive Theorem on the Correctness of General Recursive Programs. 373-399 - Wagner Borges, Julio Michael Stern:
The Rules of Logic Composition for the Bayesian Epistemic e-Values. 401-420 - Newton C. A. da Costa, Décio Krause:
Logical and Philosophical Remarks on Quasi-Set Theory. 421-431 - Samuel G. Da Silva:
Large Cardinals and Topology: a Short Retrospective and Some New Results. 433-443 - Francisco A. Doria:
Fast-Growing Functions and the P vs. NP Question. 445-455 - Fernando Náufel do Amaral, Edward Hermann Haeusler:
Using the Internal Logic of a Topos to Model Search Spaces for Problems. 457-474 - Víctor L. Fernández, Marcelo E. Coniglio:
Fibring in the Leibniz Hierarchy. 475-501 - Francicleber Martins Ferreira, Ana Teresa C. Martins:
On Minimal Models. 503-526 - Aldo Figallo Jr.:
Pure Hilbert Algebras with Infimum. 527-533 - Aldo V. Figallo, Inés Pascual, Alicia Ziliani:
Monadic Distributive Lattices. 535-551 - Marcelo Finger, Dov M. Gabbay:
Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs. 553-575 - Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana:
On Positive Relational Calculi. 577-601 - Susana Gómez:
Language and Logical Pluralism: Some Aspects of a Wittgensteinian Perspective on the Nature of Logic. 603-619 - Guillermo E. Rosado Haddock:
Why and How Platonism? 621-636 - Lúcia R. Junqueira, Paul B. Larson, Marcelo D. Passos:
On Extensions of Elementary Submodels by Forcing. 637-651 - Michal Krynicki, Jose Maria Turull Torres:
Games on Trees and Syntactical Complexity of Formulas. 653-687 - E. G. K. López-Escobar:
The Logic of Classes. 689-706 - Alfio Martini, Uwe Wolter, Edward Hermann Haeusler:
Fibred and Indexed Categories for Abstract Model Theory. 707-739 - Cezar A. Mortari:
Restricted Classical Modal Logics. 741-757 - Makmiller Martins Pedroso:
Criteria of Identity and their Logical Form. 759-765 - Wagner de Campos Sanz:
A Note on Gentzen's LJ and NJ Systems Isomorphism. 767-774 - Leonardo B. Vana, Paulo A. S. Veloso, Sheila R. M. Veloso:
Natural Deduction for "Generally". 775-800
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:44 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
