default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLogic Journal of the IGPL, Volume 3, 1995
Volume 3, Number 1, March 1995
- Dov M. Gabbay, Hans Jürgen Ohlbach, Ruy J. G. B. de Queiroz:
Editorial. 4-6 - Jon Barwise, Dov M. Gabbay, Chrysafis Hartonas
:
On the Logic of Information Flow. 7-50 - Murat Ersan, Varol Akman:
Situated Modeling of Epistemic Puzzles. 51-76 - Robin Hirsch:
Completely Representable Relation Algebras. 77-92 - István Németi, Ildikó Sain, András Simon:
Undecidability of the Equational Theory of Some Classes of Residuated Boolean Algebras with Operators. 93-105 - Howard C. Wasserman, Keitaro Yukawa, Zhizhang Shen:
The Essential Inadequacy of Deduction in Logic Programming. 107-110 - Karl Schlechta:
Some Completeness Results for Propositional Conditional Logics. 111-115
Volume 3, Number 2-3, June 1995
- Ruth Kempson:
Deduction and Language. 160-166 - Natasha Alechina, Michiel van Lambalgen:
Correspondence and Completeness for Generalized Quantifiers. 167-190 - Jaap van der Does:
Cut Might Cautiously. 191-202 - Shalom Lappin:
Generalized Quantifiers, Exception Phrases, and Logicality. 203-222 - Wilfried Meyer-Viol:
A Proof-theoretic Treatment of Assignments. 223-242 - Ruy J. G. B. de Queiroz, Dov M. Gabbay:
The Functional Interpretation of the Existential Quantifier. 243-290 - Fairouz Kamareddine:
Important Issues in Foundational Formalisms. 291-317 - Aarne Ranta:
Type-Theoretical Interpretation and Generalization of Phrase Structure Grammar. 319-342 - Mark Hepple:
Hybrid Categorial Logics. 343-355 - Natasha Kurtonina:
Talking about Explicit Databases in Categorial Grammar. 357-370 - Michael Moortgat:
Multimodal Linguistic Inference. 371-401 - Glyn Morrill:
Clausal Proofs and Discontinuity. 403-427 - Dick Oehrle:
Some 3-Dimensional Systems of Labelled Deduction. 429-448 - Francis Corblin:
Compositionality and Complexity in Multiple Negation. 449-471 - Uwe Reyle:
Underspecified Discourse Representation Structures and their Logic. 473-488 - Ruth Kempson:
Ellipsis in a Labelled Deduction System. 489-526
Volume 3, Number 4, July 1995
- Ruy J. G. B. de Queiroz:
Editorial. 532-533 - Krister Segerberg:
Belief Revision From the Point of View of Doxastic Logic. 535-553 - Mike Calcagno:
A Sign-Based Extension to the Lambek Calculus for Discontinuous Constituency. 555-578 - Claudia Meré María, Paulo A. S. Veloso:
Definition-like Extensions by Sorts. 579-595 - Newton C. A. da Costa, Jean-Yves Béziau, Otávio A. S. Bueno:
Aspects of Paraconsistent Logic. 597-614 - María Victoria Cengarle, Martin Wirsing:
A Calculus of Higher-Order Parameterization for Algebraic Specifications. 615-641 - Martin C. Henson:
On the Proof Theory of Program Transformations. 643-671
Volume 3, Number 5, August 1995
- Dov M. Gabbay, Hans Jürgen Ohlbach, Ruy J. G. B. de Queiroz:
The Bulletin turned into a Journal. 682 - Mati Pentus:
IGPL/FoLLI Prize. 682-683 - Hajnal Andréka, Johan van Benthem, István Németi:
Back and Forth Between Modal Logic and Classical Logic. 685-720 - Branislav R. Boricic:
A Note on Probabilistic Validity Measure in Propositional Calculi. 721-724 - Nissim Francez:
Contrastive Logic. 725-744 - Inmaculada Perez de Guzmán, Carlos Rossi:
LNint: A Temporal Logic that Combines Points and Intervals and the Absolute and Relative Approaches. 745-764 - Renwei Li, José Carmo:
On Completeness of a Positional Interval Logic with Equality, Overlap and Subinterval Relations. 765-790 - Viktor Gyuris:
A Short Proof of Representability of Fork Algebras. 791-796 - Heinrich Wansing:
Strong Cut-Elimination for Constant Domain First-Order S5. 797-810
Volume 3, Number 6, October 1995
- Krysia Broda, Marcello D'Agostino, Rajeev Goré, Rob Johnson, Steve Reeves:
Editorial. 826 - Jean Goubault:
A BDD-Based Simplification and Skolemization Procedure. 827-855 - Stefan Brüning:
Exploiting Equivalences in Connection Calculi. 857-886 - Christoph Weidenbach:
First-Order Tableaux with Sorts. 887-906 - Marta Cialdea Mayer, Fiora Pirri:
Propositional Abduction in Modal Logic. 907-919 - Kevin Wallace, Graham Wrightson:
Regressive Merging in Model Elimination Tableau-Based Theorem Provers. 921-937 - Marco Mondadori:
Efficient Inverse Tableaux. 939-953
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 2025-01-31 22:48 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:
