4,709 research outputs found
Complete Additivity and Modal Incompleteness
In this paper, we tell a story about incompleteness in modal logic. The story
weaves together a paper of van Benthem, `Syntactic aspects of modal
incompleteness theorems,' and a longstanding open question: whether every
normal modal logic can be characterized by a class of completely additive modal
algebras, or as we call them, V-BAOs. Using a first-order reformulation of the
property of complete additivity, we prove that the modal logic that starred in
van Benthem's paper resolves the open question in the negative. In addition,
for the case of bimodal logic, we show that there is a naturally occurring
logic that is incomplete with respect to V-BAOs, namely the provability logic
GLB. We also show that even logics that are unsound with respect to such
algebras do not have to be more complex than the classical propositional
calculus. On the other hand, we observe that it is undecidable whether a
syntactically defined logic is V-complete. After these results, we generalize
the Blok Dichotomy to degrees of V-incompleteness. In the end, we return to van
Benthem's theme of syntactic aspects of modal incompleteness
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
Characteristic formulas over intermediate logics
We expand the notion of characteristic formula to infinite finitely
presentable subdirectly irreducible algebras. We prove that there is a
continuum of varieties of Heyting algebras containing infinite finitely
presentable subdirectly irreducible algebras. Moreover, we prove that there is
a continuum of intermediate logics that can be axiomatized by characteristic
formulas of infinite algebras while they are not axiomatizable by standard
Jankov formulas. We give the examples of intermediate logics that are not
axiomatizable by characteristic formulas of infinite algebras. Also, using the
Goedel-McKinsey-Tarski translation we extend these results to the varieties of
interior algebras and normal extensions of S
Many worlds and modality in the interpretation of quantum mechanics: an algebraic approach
Many worlds interpretations (MWI) of quantum mechanics avoid the measurement
problem by considering every term in the quantum superposition as actual. A
seemingly opposed solution is proposed by modal interpretations (MI) which
state that quantum mechanics does not provide an account of what `actually is
the case', but rather deals with what `might be the case', i.e. with
possibilities. In this paper we provide an algebraic framework which allows us
to analyze in depth the modal aspects of MWI. Within our general formal scheme
we also provide a formal comparison between MWI and MI, in particular, we
provide a formal understanding of why --even though both interpretations share
the same formal structure-- MI fall pray of Kochen-Specker (KS) type
contradictions while MWI escape them.Comment: submitted to the Journal of Mathematical Physic
Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
Algebras axiomatized entirely by rank 1 axioms are algebras for a functor and
thus the free algebras can be obtained by a direct limit process. Dually, the
final coalgebras can be obtained by an inverse limit process. In order to
explore the limits of this method we look at Heyting algebras which have mixed
rank 0-1 axiomatizations. We will see that Heyting algebras are special in that
they are almost rank 1 axiomatized and can be handled by a slight variant of
the rank 1 coalgebraic methods
- …