323 research outputs found
Multiple Conclusion Rules in Logics with the Disjunction Property
We prove that for the intermediate logics with the disjunction property any
basis of admissible rules can be reduced to a basis of admissible m-rules
(multiple-conclusion rules), and every basis of admissible m-rules can be
reduced to a basis of admissible rules. These results can be generalized to a
broad class of logics including positive logic and its extensions, Johansson
logic, normal extensions of S4, n-transitive logics and intuitionistic modal
logics
Decidability of admissibility:On a problem by friedman and its solution by rybakov
Rybakov (1984) proved that the admissible rules of IPC are decidable. We give a proof of the same theorem, using the same core idea, but couched in the many notions that have been developed in the mean time. In particular, we illustrate how the argument can be interpreted as using refinements of the notions of exactness and extendibility
Canonical formulas for k-potent commutative, integral, residuated lattices
Canonical formulas are a powerful tool for studying intuitionistic and modal
logics. Actually, they provide a uniform and semantic way to axiomatise all
extensions of intuitionistic logic and all modal logics above K4. Although the
method originally hinged on the relational semantics of those logics, recently
it has been completely recast in algebraic terms. In this new perspective
canonical formulas are built from a finite subdirectly irreducible algebra by
describing completely the behaviour of some operations and only partially the
behaviour of some others. In this paper we export the machinery of canonical
formulas to substructural logics by introducing canonical formulas for
-potent, commutative, integral, residuated lattices (-).
We show that any subvariety of - is axiomatised by canonical
formulas. The paper ends with some applications and examples.Comment: Some typo corrected and additional comments adde
Almost structural completeness; an algebraic approach
A deductive system is structurally complete if its admissible inference rules
are derivable. For several important systems, like modal logic S5, failure of
structural completeness is caused only by the underivability of passive rules,
i.e. rules that can not be applied to theorems of the system. Neglecting
passive rules leads to the notion of almost structural completeness, that
means, derivablity of admissible non-passive rules. Almost structural
completeness for quasivarieties and varieties of general algebras is
investigated here by purely algebraic means. The results apply to all
algebraizable deductive systems.
Firstly, various characterizations of almost structurally complete
quasivarieties are presented. Two of them are general: expressed with finitely
presented algebras, and with subdirectly irreducible algebras. One is
restricted to quasivarieties with finite model property and equationally
definable principal relative congruences, where the condition is verifiable on
finite subdirectly irreducible algebras.
Secondly, examples of almost structurally complete varieties are provided
Particular emphasis is put on varieties of closure algebras, that are known to
constitute adequate semantics for normal extensions of S4 modal logic. A
certain infinite family of such almost structurally complete, but not
structurally complete, varieties is constructed. Every variety from this family
has a finitely presented unifiable algebra which does not embed into any free
algebra for this variety. Hence unification in it is not unitary. This shows
that almost structural completeness is strictly weaker than projective
unification for varieties of closure algebras
- …