The Tableau Method for a Logical System Based on a Finite Poset
From MaRDI portal
Publication:3647309
DOI10.3166/jancl.12.43-62zbMath1185.03053OpenAlexW1995921748WikidataQ126253322 ScholiaQ126253322MaRDI QIDQ3647309
Publication date: 30 November 2009
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3166/jancl.12.43-62
Cites Work
- Unnamed Item
- Plain semi-Post algebras as a poset-based generalization of Post algebras and their representability
- Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents
- SYMMETRICAL HEYTING ALGEBRAS WITH OPERATORS
- Sémantique algébrique ďun système logique basé sur un ensemble ordonné fini
This page was built for publication: The Tableau Method for a Logical System Based on a Finite Poset