- European Summer Meeting of the Association for Symbolic Logic, Paris, 1985.K. R. Apt - 1987 - Journal of Symbolic Logic 52 (1):295-349.details
|
|
On Partial and Paraconsistent Logics.Reinhard Muskens - 1999 - Notre Dame Journal of Formal Logic 40 (3):352-374.details
|
|
On the infinite-valued Łukasiewicz logic that preserves degrees of truth.Josep Maria Font, Àngel J. Gil, Antoni Torrens & Ventura Verdú - 2006 - Archive for Mathematical Logic 45 (7):839-868.details
|
|
Axiomatizing Kripke’s Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.details
|
|
Taking Degrees of Truth Seriously.Josep Maria Font - 2009 - Studia Logica 91 (3):383-406.details
|
|
Non-Classical Negation in the Works of Helena Rasiowa and Their Impact on the Theory of Negation.Dimiter Vakarelov - 2006 - Studia Logica 84 (1):105-127.details
|
|
The Strong Completeness of a System Based on Kleene's Strong Three-Valued Logic.Hiroshi Aoyama - 1994 - Notre Dame Journal of Formal Logic 35 (3):355-368.details
|
|
Constructible falsity and inexact predicates.Ahmad Almukdad & David Nelson - 1984 - Journal of Symbolic Logic 49 (1):231-233.details
|
|
Algebras of intervals and a logic of conditional assertions.Peter Milne - 2004 - Journal of Philosophical Logic 33 (5):497-548.details
|
|
On Finite-Valued Propositional Logical Calculi.O. Anshakov & S. Rychkov - 1995 - Notre Dame Journal of Formal Logic 36 (4):606-629.details
|
|
A note on dual-intuitionistic logic.Norihiro Kamide - 2003 - Mathematical Logic Quarterly 49 (5):519.details
|
|
European meeting of the association for symbolic logic, mons, belgium, 1978.M. Boffa & P. Henrard - 1980 - Journal of Symbolic Logic 45 (2):386-414.details
|
|
On consequence in approximate reasoning.J. L. Castro, E. Trillas & S. Cubillo - 1994 - Journal of Applied Non-Classical Logics 4 (1):91-103.details
|
|
European Summer Meeting of the Association for Symbolic Logic, Hull, 1986.F. R. Drake - 1987 - Journal of Symbolic Logic 52 (4):1057-1094.details
|
|