Prefixed Tableau Systems for Logic of Proofs and Provability

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/978-3-642-40537-2_18 ◽

2013 ◽

pp. 203-218

Author(s):

Hidenori Kurokawa

Keyword(s):

Logic Of Proofs ◽

Tableau Systems

Download Full-text

Tableau systems for paraconsistency and minimal inconsistency

Journal of Computer Science and Technology ◽

10.1007/bf02946605 ◽

1998 ◽

Vol 13 (2) ◽

pp. 174-188 ◽

Cited By ~ 1

Author(s):

Zuoquan Lin

Keyword(s):

Tableau Systems

Download Full-text

On arithmetical completeness of the logic of proofs

Annals of Pure and Applied Logic ◽

10.1016/j.apal.2018.09.004 ◽

2019 ◽

Vol 170 (2) ◽

pp. 163-179

Author(s):

Sohei Iwata ◽

Taishi Kurahashi

Keyword(s):

Logic Of Proofs

Download Full-text

Weak arithmetical interpretations for the Logic of Proofs

Logic Journal of IGPL ◽

10.1093/jigpal/jzw002 ◽

2016 ◽

Vol 24 (3) ◽

pp. 424-440 ◽

Cited By ~ 9

Author(s):

Roman Kuznets ◽

Thomas Studer

Keyword(s):

Logic Of Proofs

Download Full-text

Sue Toledo. Tableau systems for first order number theory and certain higher order theories. Lecture notes in mathematics, vol. 447. Springer-Verlag, Berlin, Heidelberg, and New York, 1975, iii + 339 pp.

Journal of Symbolic Logic ◽

10.2307/2273439 ◽

1980 ◽

Vol 45 (3) ◽

pp. 636-638

Author(s):

J. I. Zucker

Keyword(s):

New York ◽

Number Theory ◽

Higher Order ◽

Order Number ◽

First Order ◽

Tableau Systems ◽

Lecture Notes

Download Full-text

Referential logic of proofs

Theoretical Computer Science ◽

10.1016/j.tcs.2006.03.016 ◽

2006 ◽

Vol 357 (1-3) ◽

pp. 143-166 ◽

Cited By ~ 13

Author(s):

Vladimir N. Krupski

Keyword(s):

Logic Of Proofs

Download Full-text

Labelled Tableau Systems for Some Subintuitionistic Logics

Logica Universalis ◽

10.1007/s11787-018-0201-z ◽

2018 ◽

Vol 13 (2) ◽

pp. 273-288 ◽

Cited By ~ 1

Author(s):

Minghui Ma

Keyword(s):

Tableau Systems

Download Full-text

Logic of proofs with substitution

Mathematical Notes ◽

10.1134/s0001434607110260 ◽

2007 ◽

Vol 82 (5-6) ◽

pp. 816-826 ◽

Cited By ~ 3

Author(s):

N. M. Rubtsova

Keyword(s):

Logic Of Proofs

Download Full-text

Pure Modal Logic of Names and Tableau Systems

Studia Logica ◽

10.1007/s11225-018-9788-6 ◽

2018 ◽

Vol 106 (6) ◽

pp. 1261-1289

Author(s):

Andrzej Pietruszczak ◽

Tomasz Jarmużek

Keyword(s):

Modal Logic ◽

Tableau Systems

Download Full-text

Logic of proofs

Annals of Pure and Applied Logic ◽

10.1016/0168-0072(94)90007-8 ◽

1994 ◽

Vol 67 (1-3) ◽

pp. 29-59 ◽

Cited By ~ 53

Author(s):

Sergei Artëmov

Keyword(s):

Logic Of Proofs

Download Full-text

Analytic Methods for the Logic of Proofs

Journal of Logic and Computation ◽

10.1093/logcom/exn065 ◽

2008 ◽

Vol 20 (1) ◽

pp. 167-188 ◽

Cited By ~ 2

Author(s):

M. Finger

Keyword(s):

Logic Of Proofs ◽

Analytic Methods

Download Full-text