Publication:4809045
From MaRDI portal
zbMath1072.03010MaRDI QIDQ4809045
Publication date: 12 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2392/23920094.htm
03B25: Decidability of theories and sets of sentences
03B35: Mechanization of proofs and logical operations
03B55: Intermediate logics
Related Items
Graph-based decision for Gödel-Dummett logics, Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus, Proofs and countermodels in non-classical logics, Decision methods for linearly ordered Heyting algebras
Uses Software