Search Results

Sequent Calculi for Some Strict Implication Logics

Authors: Ishigaki, Ryo; Kashima, Ryo

Source: Logic Journal of the IGPL, Volume 16, Number 2, April 2008 , pp. 155-174(20)

Publisher: Oxford University Press

On Inversion Principles

Authors: Moriconi, Enrico; Tesconi, Laura

Source: History and Philosophy of Logic, Volume 29, Number 2, May 2008 , pp. 103-113(11)

Publisher: Taylor and Francis Ltd

Audit-based compliance control

Authors: Cederquist, J.; Corin, R.; Dekker, M.; Etalle, S.; Hartog, J.; Lenzini, G.

Source: International Journal of Information Security (IJIS), Volume 6, Numbers 2-3, March 2007 , pp. 133-151(19)

Publisher: Springer

Phase Semantics and Petri Net Interpretation for Resource-Sensitive Strong Negation

Author: Kamide, Norihiro

Source: Journal of Logic, Language and Information, Volume 15, Number 4, November 2006 , pp. 371-401(31)

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

Gentzen Calculi for the Existence Predicate

Authors: Baaz, Matthias; Iemhoff, Rosalie

Source: Studia Logica, Volume 82, Number 1, February 2006 , pp. 7-23(17)

Publisher: Springer

Towards a Semantic Characterization of Cut-Elimination

Authors: Ciabattoni, Agata; Terui, Kazushige

Source: Studia Logica, Volume 82, Number 1, February 2006 , pp. 95-119(25)

Publisher: Springer

The Epsilon Calculus and Herbrand Complexity

Authors: Moser, Georg; Zach, Richard

Source: Studia Logica, Volume 82, Number 1, February 2006 , pp. 133-155(23)

Publisher: Springer

Cut-Elimination and Quantification in Canonical Systems

Authors: Zamansky, Anna; Avron, Arnon

Source: Studia Logica, Volume 82, Number 1, February 2006 , pp. 157-176(20)

Publisher: Springer

Completeness and Cut-elimination in the Intuitionistic Theory of Types

Authors: DeMarco, Mary; Lipton, Jame

Source: Journal of Logic and Computation, Volume 15, Number 6, December 2005 , pp. 821-854(34)

Publisher: Oxford University Press

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

Gentzen-Type Calculi for Involutive Quantales

Author: Kamide, Norihiro

Source: International Journal of Theoretical Physics, Volume 44, Number 4, April 2005 , pp. 399-428(30)

Publisher: Springer

Linear Logics with Communication-merge

Author: Norihiro Kamide

Source: Journal of Logic and Computation, Volume 15, Number 1, February 2005 , pp. 3-20(18)

Publisher: Oxford University Press

Extending the First Gentzen's Consistency Proof to the Intuitionistic Case

Author: María Fernanda Pallares

Source: Logic Journal of the IGPL, Volume 12, Number 6, November 2004 , pp. 549-560(12)

Publisher: Oxford University Press

Extended Natural Deduction Images of Conversions from the System of Sequents

Author: Mirjana Borisavljevi

Source: Journal of Logic and Computation, Volume 14, Number 6, December 2004 , pp. 769-799(31)

Publisher: Oxford University Press

Hypersequent Calculi for Gödel Logics — a Survey

Authors: Baaz M.; Ciabattoni A.; Fermüller C.G.

Source: Journal of Logic and Computation, Volume 13, Number 6, December 2003 , pp. 835-861(27)

Publisher: Oxford University Press

G-dinaturality

Author: Petric Z.

Source: Annals of Pure and Applied Logic, Volume 122, Number 1, 15 August 2003 , pp. 131-173(43)

Publisher: Elsevier

Computational isomorphisms in classical logic

Authors: Danos V.; Joinet J.-B.; Schellinx H.

Source: Theoretical Computer Science, Volume 294, Number 3, 18 February 2003 , pp. 353-378(26)

Publisher: Elsevier

Coherence for sharing proof-nets

Authors: Guerrini S.; Martini S.; Masini A.

Source: Theoretical Computer Science, Volume 294, Number 3, 18 February 2003 , pp. 379-409(31)

Publisher: Elsevier

Additives of linear logic and normalization-Part I: a (restricted) Church-Rosser property

Author: Tortora de Falco L.

Source: Theoretical Computer Science, Volume 294, Number 3, 18 February 2003 , pp. 489-524(36)

Publisher: Elsevier