scientific article; zbMATH DE number 2090290
From MaRDI portal
Publication:4809045
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
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Intermediate logics (03B55)
Related Items
Graph-based decision for Gödel-Dummett logics ⋮ Proofs and countermodels in non-classical logics ⋮ Decision methods for linearly ordered Heyting algebras ⋮ Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus
Uses Software
This page was built for publication:
