Search Results

The Basic Constructive Logic for a Weak Sense of Consistency defined with a Propositional Falsity Constant

Authors: Robles, Gemma; Méndez, José M.

Source: Logic Journal of the IGPL, Volume 16, Number 1, February 2008 , pp. 33-41(9)

Publisher: Oxford University Press

The Basic Constructive Logic for Absolute Consistency defined with a Propositional Falsity Constant

Author: Robles, Gemma

Source: Logic Journal of the IGPL, Volume 16, Number 3, June 2008 , pp. 275-291(17)

Publisher: Oxford University Press

Structural Completeness in Substructural Logics

Authors: Olson, J.S.; Raftery, J.G.; Van Alten, C.J.

Source: Logic Journal of the IGPL, Volume 16, Number 5, 23 October 2008 , pp. 453-495(43)

Publisher: Oxford University Press

The Relevant Equivalence Property

Authors: Humberstone, Lloyd; Meyer, Robert K.

Source: Logic Journal of the IGPL, Volume 15, Number 2, March 2007 , pp. 165-181(17)

Publisher: Oxford University Press

Substructural Logics in Natural Deduction

Author: Zimmermann, Ernst

Source: Logic Journal of the IGPL, Volume 15, Number 3, June 2007 , pp. 211-232(22)

Publisher: Oxford University Press

Investigations into a left-structural right-substructural sequent calculus

Author: Humberstone, Lloyd

Source: Journal of Logic, Language and Information, Volume 16, Number 2, April 2007 , pp. 141-171(31)

Publisher: Springer

On the infinite-valued Łukasiewicz logic that preserves degrees of truth

Authors: Font, Josep; Gil, Àngel; Torrens, Antoni; Verdú, Ventura

Source: Archive for Mathematical Logic, Volume 45, Number 7, October 2006 , pp. 839-868(30)

Publisher: Springer

Proof Theory for Casari's Comparative Logics

Author: Metcalfe, George

Source: Journal of Logic and Computation, Volume 16, Number 4, August 2006 , pp. 405-422(18)

Publisher: Oxford University Press

Introduction to Cirquent Calculus and Abstract Resource Semantics* This material is based upon work supported by the National Science Foundation under Grant No. 0208816, and 2005 Summer Research Grant from Villanova University.

Author: Japaridze, Giorgi

Source: Journal of Logic and Computation, Volume 16, Number 4, August 2006 , pp. 489-532(44)

Publisher: Oxford University Press

A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics

Authors: Tanaka, Miki; Power, John

Source: Journal of Logic and Computation, Volume 16, Number 1, February 2006 , pp. 5-25(21)

Publisher: Oxford University Press

Admissibility of Cut in LC with Fixed Point Combinator

Author: Bimbó, Katalin

Source: Studia Logica, Volume 81, Number 3, December 2005 , pp. 399-423(25)

Publisher: Springer

Gentzen-Type Methods for Bilattice Negation

Author: Kamide, Norihiro

Source: Studia Logica, Volume 80, Numbers 2-3, August 2005 , pp. 265-289(25)

Publisher: Springer

-autonomous Lattices

Author: Paoli, Francesco

Source: Studia Logica, Volume 79, Number 2, March 2005 , pp. 283-304(22)

Publisher: Springer

Light Affine Set Theory: A Naive Set Theory of Polynomial Time

Author: Kazushige Terui

Source: Studia Logica, Volume 77, Number 1, June 2004 , pp. 9-40(32)

Publisher: Springer

Combinator Logics

Source: Studia Logica, Volume 76, Number 1, 2004 , pp. 17-66(50)

Publisher: Springer

On the Generative Capacity of Multi-modal Categorial Grammars

Author: Jäger, G.

Source: Research on Language and Computation, Volume 1, Numbers 1-2, June 2002 , pp. 105-125(21)

Publisher: Springer

Normal Modal Substructural Logics with Strong Negation

Author: Kamide N.

Source: Journal of Philosophical Logic, Volume 32, Number 6, 200312 , pp. 589-612(24)

Publisher: Springer

A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP

Authors: Pym D.; Bellin G.; Ranalter K.

Source: Journal of Logic and Computation, Volume 13, Number 5, October 2003 , pp. 755-775(21)

Publisher: Oxford University Press

Neighborhoods for Entailment

Author: Goble L.

Source: Journal of Philosophical Logic, Volume 32, Number 5, October 2003 , pp. 483-529(47)

Publisher: Springer

Quine and Slater on Paraconsistency and Deviance

Author: Paoli F.

Source: Journal of Philosophical Logic, Volume 32, Number 5, October 2003 , pp. 531-548(18)

Publisher: Springer