Modal Tableau Systems with Blocking and Congruence Closure

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

10.1007/978-3-319-24312-2_4 ◽

2015 ◽

pp. 38-53 ◽

Author(s):

Renate A. Schmidt ◽

Uwe Waldmann

Keyword(s):

Tableau Systems ◽

Congruence Closure

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 ◽

Author(s):

Zuoquan Lin

Keyword(s):

Tableau Systems

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 ◽

Download Full-text

Shostak's congruence closure as completion

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-62950-5_59 ◽

1997 ◽

pp. 23-37 ◽

Author(s):

Deepak Kapur

Keyword(s):

Congruence Closure

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 ◽

Author(s):

Minghui Ma

Keyword(s):

Tableau Systems

Download Full-text

Proof-Producing Congruence Closure

Lecture Notes in Computer Science - Term Rewriting and Applications ◽

10.1007/978-3-540-32033-3_33 ◽

2005 ◽

pp. 453-468 ◽

Author(s):

Robert Nieuwenhuis ◽

Albert Oliveras

Keyword(s):

Congruence Closure

Download Full-text

On the relationship of congruence closure

Advances in database programming languages ◽

10.1145/101620.101622 ◽

1990 ◽

pp. 23-41 ◽

Author(s):

Paris C. Kanellakis ◽

Peter Z. Revesz

Keyword(s):

Congruence Closure ◽

Relationship Of ◽

The Relationship

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

Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic

Logic Journal of IGPL ◽

10.1093/jigpal/5.1.145 ◽

1997 ◽

Vol 5 (1) ◽

pp. 145-167 ◽

Author(s):

P Miglioli

Keyword(s):

Intuitionistic Logic ◽

Tableau Systems

Download Full-text

Terminating Tableau Systems for Hybrid Logic with Difference and Converse

Journal of Logic Language and Information ◽

10.1007/s10849-009-9087-8 ◽

2009 ◽

Vol 18 (4) ◽

pp. 437-464 ◽

Author(s):

Mark Kaminski ◽

Gert Smolka

Keyword(s):

Hybrid Logic ◽

Tableau Systems

Download Full-text

Fast congruence closure and extensions

Information and Computation ◽

10.1016/j.ic.2006.08.009 ◽

2007 ◽

Vol 205 (4) ◽

pp. 557-580 ◽

Author(s):

Robert Nieuwenhuis ◽

Albert Oliveras

Keyword(s):

Congruence Closure

Download Full-text