Relation between classical and intuitionistic sequent calculi of temporal logic

Relation between classical and intuitionistic sequent calculi of temporal logic

There is not abstract.

Bibliographic Details
Main Author:	Romas Alonderis
Format:	Article
Language:	English
Published:	Vilnius University Press 2001-12-01
Series:	Lietuvos Matematikos Rinkinys
Online Access:	https://www.zurnalai.vu.lt/LMR/article/view/34620

Similar Items

Proof-search of propositional intuitionistic logic sequents by means of classical logic calculus
by: Romas Alonderis
Published: (2008-12-01)

Finite sequent calculi for PLTL
by: Romas Alonderis, et al.
Published: (2015-12-01)

Specialization of antecedent negation loop-rule for a fragment of propositional intuitionistic logic sequent calculus
by: Romas Alonderis
Published: (2009-12-01)

More efficient proof-search for sequents of temporal logic
by: Romas Alonderis
Published: (2022-12-01)

A sequent calculus for propositional temporal logic with time gaps
by: Romas Alonderis
Published: (2011-12-01)

Sequent calculus for propositional likelihood logic
by: Romas Alonderis
Published: (2023-09-01)

Structural rules and cut admissibility in a sequent calculus of temporal logic with predicates = and >
by: Romas Alonderis
Published: (2002-12-01)

A labeled sequent calculus for propositional linear time logic
by: Romas Alonderis
Published: (2012-12-01)

Sequent Calculi for the classical fragment of Bochvar and Halldén's Nonsense Logics
by: Marcelo E. Coniglio, et al.
Published: (2013-03-01)

Completeness classes for intuitionistic first-order temporal logic with time gaps
by: Romas Alonderis
Published: (2023-11-01)

Graphical Sequent Calculi for Modal Logics
by: Minghui Ma, et al.
Published: (2017-03-01)

Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi
by: Jose Espirito Santo, et al.
Published: (2009-05-01)

Cut-Free Gentzen Sequent Calculi for Tense Logics
by: Zhe Lin, et al.
Published: (2023-06-01)

Sequent-Type Calculi for Three-Valued and Disjunctive Default Logic
by: Sopo Pkhakadze, et al.
Published: (2020-07-01)

Cut, invariant rule, and loop-check free sequent calculus for PLTL
by: Romas Alonderis, et al.
Published: (2011-12-01)

On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics
by: Rajeev Gore, et al.
Published: (2011-05-01)

Cut Elimination for Extended Sequent Calculi
by: Simone Martini, et al.
Published: (2023-09-01)

Sequent Calculi for Orthologic with Strict Implication
by: Tomoaki Kawano
Published: (2022-03-01)

A derivation-loop method for temporal logic
by: Romas Alonderis, et al.
Published: (2019-11-01)

Two complete finitary sequent calculi for reflexive common knowledge
by: Aurimas Paulius Girčys, et al.
Published: (2013-12-01)

Restrictions for loop-check in sequent calculus for temporal logic
by: Adomas Birštunas
Published: (2008-12-01)

Copies of Classical Logic in Intuitionistic Logic
by: Jaime Gaspar
Published: (2014-10-01)

Sequent calculus for hybrid logic
by: Stanislovas Norgėla, et al.
Published: (2023-09-01)

Brodsky’s coding method for propositional logic
by: Romas Alonderis
Published: (2017-12-01)

Restrictions for loop-check in sequent calculus for temporal logic with until operator
by: Adomas Birštunas
Published: (2009-12-01)

Stoic sequent logic and proof theory
by: Bobzien, S
Published: (2019)

On Nested Sequents for Constructive Modal Logics
by: Lutz Strassburger, et al.
Published: (2015-09-01)

Sequent calculus for logic of correlated knowledge
by: Haroldas Giedra, et al.
Published: (2011-12-01)

Intersection Logic in sequent calculus style
by: Simona Ronchi Della Rocca, et al.
Published: (2011-01-01)

Automatization of proof-search for a fragment of the first-order linear tense logic
by: Romas Alonderis
Published: (2003-12-01)

Classical propositional logic and decidability of variables in intuitionistic propositional logic
by: Hajime Ishihara
Published: (2014-08-01)

Applications of logic of correlated knowledge to quantum mechanics
by: Haroldas Giedra, et al.
Published: (2018-12-01)

The intuitionistic temporal logic of dynamical systems
by: David Fernández-Duque
Published: (2018-07-01)

Admissibility, compatibility, and deducibility in first-order sequent logics
by: Alexander Lyaletski
Published: (2015-11-01)

On the decidability of monadic first order logic in sequent calculus
by: Jean-Baptiste Joinet
Published: (2016-12-01)

Remarks on a Temporal Intuitionistic Fuzzy Logic
by: Krassimir Atanassov
Published: (2016-03-01)

Cut free sequent calculus for logic S5n(ED)
by: Haroldas Giedra
Published: (2010-12-01)

Implementation of a cut−free sequent calculus for logics with adjoint modalities
by: Kriener, M, et al.
Published: (2009)

Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures
by: Tiu, A, et al.
Published: (2012)

A Cut−Free Sequent Calculus for Algebraic Dynamic Epistemic Logic
by: Dyckhoff, R, et al.
Published: (2010)