default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLogic Journal of the IGPL, Volume 5, 1997
Volume 5, Number 1, January 1997
- István Németi:
Strong Representability of Fork Algebras, a Set Theoretic Foundation. 3-23 - György Serény:
Saturatedness in Cylindric Algebraic Model Theory. 25-48 - Karl Schlechta:
A Reduction of the Theory of Confirmation to the Notions of Distance and Measure. 49-64 - Chrysafis Hartonas
:
Pretopology Semantics for Bimodal Intuitionistic Linear Logic. 65-78 - Gabriel Sandu:
The Logic of Informational Independence and Finite Models. 79-95 - Alan Hutchinson:
First Order Meta Theories. 97-144 - Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi:
Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic. 145-167
- Alain Heuerding:
LWBtheory: Information about some Propositional Logics via the WWW. 169-174
Volume 5, Number 2, March 1997
- Arnon Avron:
Multiplicative Conjunction as an Extensional Conjunction. 181-208 - Robin Hirsch, Ian M. Hodkinson:
Axiomatising Various Classes of Relation and Cylindric Algebras. 209-229 - Lawrence S. Moss, Norman Danner:
On the Foundations of Corecursion. 231-257 - Johan van Benthem:
Modal Foundations for Predicate Logic. 259-286 - Serenella Cerrito, Marta Cialdea Mayer:
A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4. 287-300
- Alasdair Urquhart:
Review: Feasible Mathematics II. 301-302
Volume 5, Number 3, May 1997
- Marcelo F. Frias, Armando Martin Haeberer, Paulo A. S. Veloso:
A Finite Axiomatization for Fork Algebras. 1-10 - Michael Gavrilovich:
A Lower Bound for Interpolation. 1-6 - Décio Krause, Jean-Yves Béziau:
Relativizations of the Principle of Identity. 1-12 - Gilles Richard, Frédéric Saubion:
Answer Synthesis for CLP Programs with Negation. 1-36 - James T. Sasaki:
A Type Theory with Mixed Constructivity and Assignments. 1-37 - Josep Maria Font:
Belnap's Four-Valued Logic and De Morgan Lattices. 1-29
- Itala M. Loffredo D'Ottaviano, Walter Alexandre Carnielli, Antonio Mario Sette, Michael B. Wrigley:
XI Brazilian Conference on Mathematical Logic. 1-38
Volume 5, Number 4, July 1997
- Andreas Blass:
Some Semantical Aspects of Linear Logic. 487-503 - J. Michael Dunn, Robert K. Meyer:
Combinators and Structurally Free Logic. 505-537 - Wilfrid Hodges:
Compositional Semantics for a Language of Imperfect Information. 539-563 - Peter Jipsen, Roger D. Maddux:
Nonrepresentable Sequential Algebras. 565-574 - István Németi, András Simon:
Relation Algebras from Cylindric and Polyadic Algebras. 575-588 - Andrew M. Pitts:
A Note on Logical Relations Between Semantics and Syntax. 589-601 - Douglas Walton:
How can logic best be applied to arguments? 603-614
Volume 5, Number 5, September 1997
- Jan van Eijck:
Typed Logics With States. 623-645 - Marcelo Finger, Rodger Kibble, Dov M. Gabbay, Ruth Kempson:
Parsing Natural Language using LDS: A Prototype. 647-671 - Wendy MacCaull:
Relational Proof System for Linear and Other Substructural Logics. 673-697 - Ildikó Sain, Viktor Gyuris:
Finite Schematizable Algebraic Logic. 699-751 - Karl Schlechta:
Filters and Partial Orders. 753-772
- Peter A. Flach, Antonis C. Kakas:
Abductive and Inductive Reasoning: Report of the ECAI'96 Workshop. 773-778
Volume 5, Number 6, November 1997
- Roman Kossak:
Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point Sets. 787-794 - William P. R. Mitchell:
The Carcinogenic Example. 795-810 - Patricia Peratto:
Well-founded Relations in Type Theory. 811-852
- Antony Galton:
Review of D. M. Gabbay et al., Temporal Logic: Mathematical Foundations and Computational Aspects. 853-857
- Ruy J. G. B. de Queiroz:
Fourth Workshop on Logic, Language, Information and Computation (WoLLIC'97). 859-927
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-02-21 19:36 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:
