scientific article; zbMATH DE number 3957057

MaRDI QIDQ3726084zbMATH OpenFDO

Authors Josep Maria Font

Publication date 1984

zbMATH Keywords

intuitionistic S4topological pseudo-Boolean algebras

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60)

Recommendations

• On an intuitionistic modal logic
• Modalities as interactions between the classical and the intuitionistic logics
• A deductive-reductive form of logic: Intuitionistic S4 modalities
• A first approach to abstract modal logics
• Modality and possibility in some intuitionistic modal logics

Cited in

(21)

• Modality and possibility in some intuitionistic modal logics
• Relevant implication and the weak deduction theorem
• Characteristics and applications of \(J_{I,B}\)-implications via some classical logic tautologies
• Two remarks on strictly implicative formulas in modal logic S3
• An implicational logic for orthomodular lattices
• scientific article; zbMATH DE number 3865242 (Why is no real title available?)
• scientific article; zbMATH DE number 3865243 (Why is no real title available?)
• scientific article; zbMATH DE number 3871346 (Why is no real title available?)
• scientific article; zbMATH DE number 3935011 (Why is no real title available?)
• Disjunction and existence under implication in elementary intuitionistic formalisms
• Modal deduction in second-order logic and set theory - I
• scientific article; zbMATH DE number 1778909 (Why is no real title available?)
• Дедуктивные логики и их связь с интуиционистской логикой
• Logics with Impossibility as the Negation and Regular Extensions of the Deontic Logic D2
• scientific article; zbMATH DE number 2170850 (Why is no real title available?)
• A deductive-reductive form of logic: Intuitionistic S4 modalities
• Implicational Logic, Relevance, and Refutability
• scientific article; zbMATH DE number 2196609 (Why is no real title available?)
• Modalities as interactions between the classical and the intuitionistic logics
• Birkhoff's and Mal'cev's theorems for implicational tonoid logics
• An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3726084)