scientific article; zbMATH DE number 63606

MaRDI QIDQ4012971zbMATH OpenFDO

Authors Stanisław Krajewski

Publication date 27 September 1992

zbMATH Keywords

predicate logicconditionaltranslations between logicsrelatedness logicuniform semantical framework for propositional calculi

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• scientific article; zbMATH DE number 45458
• Tableaux for logics of content relationship and set-assignment semantics
• Note on grammatical translations of logical calculi
• Epistemic semantics for classical and intuitionistic logic
• scientific article; zbMATH DE number 4037819

Cited in

(6)

• Note on grammatical translations of logical calculi
• THREE MODEL-THEORETIC CONSTRUCTIONS FOR GENERALIZED EPSTEIN SEMANTICS
• History of relating logic. The origin and research directions
• Boolean connexive logic and content relationship
• A post-style proof of completeness theorem for symmetric relatedness logic S
• Tableaux for logics of content relationship and set-assignment semantics

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