Proof Theory of Paraconsistent Quantum Logic.
- Published in:
- Journal of Philosophical Logic, 2018, v. 47, n. 2, p. 301, doi. 10.1007/s10992-017-9428-z
- By:
- Publication type:
- Article
Works matching DE "SEQUENT calculus"
Results: 89
1
2
On Structural Features of the Implication Fragment of Frege's Grundgesetze.
- Published in:
- Journal of Philosophical Logic, 2017, v. 46, n. 4, p. 443, doi. 10.1007/s10992-016-9406-x
- By:
- Publication type:
- Article
3
Pure Logic of Many-Many Ground.
- Published in:
- Journal of Philosophical Logic, 2016, v. 45, n. 5, p. 531, doi. 10.1007/s10992-015-9386-2
- By:
- Publication type:
- Article
4
A Gentzen Calculus for Nothing but the Truth.
- Published in:
- Journal of Philosophical Logic, 2016, v. 45, n. 4, p. 451, doi. 10.1007/s10992-015-9385-3
- By:
- Publication type:
- Article
5
Current Trends in Substructural Logics.
- Published in:
- Journal of Philosophical Logic, 2015, v. 44, n. 6, p. 609, doi. 10.1007/s10992-015-9346-x
- By:
- Publication type:
- Article
6
Multi-succedent sequent calculus for intuitionistic epistemic logic.
- Published in:
- Lietuvos Matematikos Rinkinys, 2024, v. 65, n. Series A, p. 9, doi. 10.15388/lmd.2024.37367
- By:
- Publication type:
- Article
7
Glivenko sequent classes in the light of structural proof theory.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 3/4, p. 461, doi. 10.1007/s00153-016-0474-y
- By:
- Publication type:
- Article
8
A proof-search procedure for intuitionistic propositional logic.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 7/8, p. 759, doi. 10.1007/s00153-013-0342-y
- By:
- Publication type:
- Article
9
Gentzen's consistency proof without heightlines.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 3/4, p. 449, doi. 10.1007/s00153-013-0324-0
- By:
- Publication type:
- Article
10
Reasoning with maximal consistency by argumentative approaches.
- Published in:
- Journal of Logic & Computation, 2018, v. 28, n. 7, p. 1523, doi. 10.1093/logcom/exy027
- By:
- Publication type:
- Article
11
Proof search in a context-sensitive logic for molecular biology.
- Published in:
- Journal of Logic & Computation, 2018, v. 28, n. 7, p. 1565, doi. 10.1093/logcom/exy028
- By:
- Publication type:
- Article
12
Terminating sequent calculi for two intuitionistic modal logics.
- Published in:
- Journal of Logic & Computation, 2018, v. 28, n. 7, p. 1701, doi. 10.1093/logcom/exy026
- By:
- Publication type:
- Article
13
Tree-sequent calculi and decision procedures for intuitionistic modal logics.
- Published in:
- Journal of Logic & Computation, 2018, v. 28, n. 5, p. 967, doi. 10.1093/logcom/exv039
- By:
- Publication type:
- Article
14
Decidable temporal and sequential relevant logics.
- Published in:
- Journal of Logic & Computation, 2018, v. 28, n. 2, p. 403, doi. 10.1093/logcom/exx041
- By:
- Publication type:
- Article
15
Relating first-order monadic omega-logic, propositional linear-time temporal logic, propositional generalized definitional reflection logic and propositional infinitary logic.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 7, p. 2271, doi. 10.1093/logcom/exx006
- By:
- Publication type:
- Article
16
CERES for first-order schemata.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 7, p. 1897, doi. 10.1093/logcom/exx003
- By:
- Publication type:
- Article
17
Embedding from multilattice logic into classical logic and vice versa.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 5, p. 1549, doi. 10.1093/logcom/exw015
- By:
- Publication type:
- Article
18
Logics with definitional reflection rules.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 5, p. 1523, doi. 10.1093/logcom/exw013
- By:
- Publication type:
- Article
19
Reducing redundancy in cut-elimination by resolution.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 2, p. 577, doi. 10.1093/logcom/exu075
- By:
- Publication type:
- Article
20
Completeness and termination for a Seligman-style tableau system.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 1, p. 81, doi. 10.1093/logcom/exv052
- By:
- Publication type:
- Article
21
Unifying logics via context-sensitiveness.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 1, p. 21, doi. 10.1093/logcom/exv051
- By:
- Publication type:
- Article
22
Dynamic epistemic logic in update logic.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 6, p. 1913, doi. 10.1093/logcom/exw002
- By:
- Publication type:
- Article
23
A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel-McKinsey-Tarski embedding.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 1, p. 169, doi. 10.1093/logcom/ext036
- By:
- Publication type:
- Article
24
Proof theory of witnessed Gödel logic: A negative result.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 1, p. 51, doi. 10.1093/logcom/ext018
- By:
- Publication type:
- Article
25
Binding modalities.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 1, p. 451, doi. 10.1093/logcom/ext017
- By:
- Publication type:
- Article
26
Nested sequent calculi for normal conditional logics.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 1, p. 7, doi. 10.1093/logcom/ext034
- By:
- Publication type:
- Article
27
Embedding the hypersequent calculus in the display calculus.
- Published in:
- Journal of Logic & Computation, 2015, v. 25, n. 3, p. 921, doi. 10.1093/logcom/exu061
- By:
- Publication type:
- Article
28
Detection and analysis of some redundancies in linear logic sequent proofs.
- Published in:
- Journal of Logic & Computation, 2014, v. 24, n. 1, p. 187, doi. 10.1093/logcom/ext007
- By:
- Publication type:
- Article
29
Cut Elimination and Realization for Epistemic Logics with Justification.
- Published in:
- Journal of Logic & Computation, 2012, v. 22, n. 5, p. 1171, doi. 10.1093/logcom/exr017
- By:
- Publication type:
- Article
30
Infinitary Modal Logic and Generalized Kripke Semantics.
- Published in:
- Annali del Dipartimento di Filosofia dell Universita di Firenze, 2011, v. 17, p. 135
- By:
- Publication type:
- Article
31
Yet another paradefinite logic: The role of conflation 1.
- Published in:
- Logic Journal of the IGPL, 2019, v. 27, n. 1, p. 93, doi. 10.1093/jigpal/jzy023
- By:
- Publication type:
- Article
32
Non-commutative classical arithmetical sequent calculi are intuitionistic.
- Published in:
- Logic Journal of the IGPL, 2016, v. 24, n. 3, p. 441, doi. 10.1093/jigpal/jzw007
- By:
- Publication type:
- Article
33
Grafting hypersequents onto nested sequents.
- Published in:
- Logic Journal of the IGPL, 2016, v. 24, n. 3, p. 375, doi. 10.1093/jigpal/jzw005
- By:
- Publication type:
- Article
34
A cut-free sequent calculus for relevant logic RW*.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 4, p. 673
- By:
- Publication type:
- Article
35
Two Restrictions on Contraction.
- Published in:
- Logic Journal of the IGPL, 2003, v. 11, n. 5, p. 525, doi. 10.1093/jigpal/11.5.525
- By:
- Publication type:
- Article
36
Kripke Completeness of First-Order Constructive Logics with Strong Negation.
- Published in:
- Logic Journal of the IGPL, 2003, v. 11, n. 6, p. 615, doi. 10.1093/jigpal/11.6.615
- By:
- Publication type:
- Article
37
Ultimate Normal Forms for Parallelized Natural Deductions.
- Published in:
- Logic Journal of the IGPL, 2002, v. 10, n. 3, p. 299, doi. 10.1093/jigpal/10.3.299
- By:
- Publication type:
- Article
38
Admissibility of structural rules for extensions of contraction-free sequent calculi.
- Published in:
- Logic Journal of the IGPL, 2001, v. 9, n. 4, p. 541, doi. 10.1093/jigpal/9.4.541
- By:
- Publication type:
- Article
39
A deterministic terminating sequent calculus for Gödel-Dummett logic.
- Published in:
- Logic Journal of the IGPL, 1999, v. 7, n. 3, p. 319, doi. 10.1093/jigpal/7.3.319
- By:
- Publication type:
- Article
40
Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics.
- Published in:
- Logic Journal of the IGPL, 1999, v. 7, n. 4, p. 447, doi. 10.1093/jigpal/7.4.447
- By:
- Publication type:
- Article
41
Editorial.
- Published in:
- Logic Journal of the IGPL, 1998, v. 6, n. 5, p. 667, doi. 10.1093/jigpal/6.5.667
- By:
- Publication type:
- Article
42
Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic.
- Published in:
- Logic Journal of the IGPL, 1997, v. 5, n. 1, p. 145, doi. 10.1093/jigpal/5.1.145
- By:
- Publication type:
- Article
43
On the Adequacy of a Substructural Logic for Mathematics and Science.
- Published in:
- Philosophical Quarterly, 2022, v. 72, n. 4, p. 1002, doi. 10.1093/pq/pqac001
- By:
- Publication type:
- Article
44
SEMI-AUTOMATED CONSTRUCTION OF PROOF SCHEMATA.
- Published in:
- Applied Mathematics, Informatics & Mechanics, 2016, v. 21, n. 2, p. 83
- By:
- Publication type:
- Article
45
PROOF CONSTRUCTION IN UNRANKED LOGIC.
- Published in:
- Reports of Enlarged Sessions of Seminar of I. Vekua Institute of Applied Mathematics, 2016, n. 30, p. 11
- By:
- Publication type:
- Article
46
Peirce's Logical Graphs for Boolean Algebras and Distributive Lattices.
- Published in:
- Transactions of the Charles S. Peirce Society, 2018, v. 54, n. 3, p. 320, doi. 10.2979/trancharpeirsoc.54.3.02
- By:
- Publication type:
- Article
47
UNSOUND INFERENCES MAKE PROOFS SHORTER.
- Published in:
- Journal of Symbolic Logic, 2019, v. 84, n. 1, p. 102, doi. 10.1017/jsl.2018.51
- By:
- Publication type:
- Article
48
UNDECIDABILITY OF CONSEQUENCE RELATION IN FULL NON-ASSOCIATIVE LAMBEK CALCULUS.
- Published in:
- Journal of Symbolic Logic, 2015, v. 80, n. 2, p. 567, doi. 10.1017/jsl.2014.39
- By:
- Publication type:
- Article
49
COMPLETENESS OF PREDICATE GENTZEN CALCULUS WITH RESPECT TO INTUITIONISTIC KRIPKE SEMANTICS.
- Published in:
- Acta Universitatis Carolinae: Philosophica et Historica, 2010, n. 2, p. 53
- By:
- Publication type:
- Article
50
Anything Goes.
- Published in:
- Topoi: An International Review of Philosophy, 2015, v. 34, n. 1, p. 25, doi. 10.1007/s11245-014-9261-8
- By:
- Publication type:
- Article