scientific article; zbMATH DE number 1045389

MaRDI QIDQ4347145zbMATH OpenFDO

Authors Alex Hendriks

Publication date 7 August 1997

zbMATH Keywords

model checkingintuitionistic logicmodal logicderivabilityexact modelsfinite fragments of propositional logicsfinite Lindenbaum algebravalidity of formulas

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Model theory of finite structures (03C13) Subsystems of classical logic (including intuitionistic logic) (03B20) Mechanization of proofs and logical operations (03B35)

Recommendations

• Computations in fragments of intuitionistic propositional logic
• scientific article; zbMATH DE number 823603
• Intuitionistic implication without disjunction
• Effective Finite-Valued Approximations of General Propositional Logics

Cited in

(16)

• Duality and universal models for the meet-implication fragment of IPC
• Notes on my scientific life
• Brodskio kodavimo metodas teiginių logikai;Brodsky’s coding method for propositional logic
• Free equivalential algebras
• The many faces of interpolation
• Intermediate logics and factors of the Medvedev lattice
• scientific article; zbMATH DE number 5841868 (Why is no real title available?)
• Partial-predicate logic in computer science
• Propositional computability logic I
• Towards logical operations research -- propositional case
• Doing logic by computer: Interpolation in fragments of intuitionistic propositional logic
• Computations in fragments of intuitionistic propositional logic
• Algebras defined from ordered sets and the varieties they generate
• DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
• Propositional computability logic II
• Toggling operators in computability logic

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 Q4347145)