Nontabularity of the logic S4 with respect to functional completeness

DOI10.1007/BF01980629zbMath0522.03008OpenAlexW2041421359MaRDI QIDQ1055758

M. F. Ratsa

Publication date: 1983

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/187181

zbMATH Keywords

extensionsmodal logicsfunctional completenessS4precomplete class

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cites Work

• On a modal system of D.C. Makinson and B. Sobocinski
• Binary closure-algebraic operations that are functionally complete
• Note on G.J. Massey's closure-algebraic operation
• There are infinitely many Diodorean modal functions
• Sheffer Functions in Intuitionistic Logic
• Proof of the independence of the primitive symbols of Heyting's calculus of propositions
• Some theorems about the sentential calculi of Lewis and Heyting
• Independence of the primitive symbols of Lewis's calculi of propositions
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Nontabularity of the logic S4 with respect to functional completeness