PL EN


Preferences help
enabled [disable] Abstract
Number of results
2013 | 48 |
Article title

Jankov-style Formulas and Refutation Systems

Authors
Content
Title variants
Languages of publication
PL
Abstracts
PL
The paper studies the logics which algebraic semantics comprises of the Hilbert algebras endowed with additional operations - the regular algebras. With any finite subdirectly irreducible regular algebra one can associate a Jankov formula. In its turn, the Jankov formulas can be used as anti-axioms for a refutation system. It is proven that a logic has a complete refutation system based on Jankov formulas if and only if this logic enjoys finite model property. Also, such a refutation system is finite, that is, it contains a finite number of axioms and anti-axioms, if and and only if the logic is tabular.
Keywords
PL
 
Publisher
Year
Volume
48
Physical description
Dates
published
2013
online
07 - 07 - 2015
Contributors
author
References
Document Type
Publication order reference
Identifiers
YADDA identifier
bwmeta1.element.ojs-issn-2084-2589-year-2013-volume-48-article-2907
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.