scientific article; zbMATH DE number 6423952

MaRDI QIDQ4982591zbMATH OpenFDO

Authors Jiří Raclavský

Publication date 9 April 2015

zbMATH Keywords

deductionentailmentlogical analysistransparent intensional logic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4135924
• scientific article; zbMATH DE number 4164812
• Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic
• scientific article; zbMATH DE number 6163274
• On some semi-intuitionistic logics
• scientific article; zbMATH DE number 2172804
• Semantical observations on the embedding of Intuitionistic Logic into Intuitionistic Linear Logic
• Proof-theoretic semantics and inquisitive logic
• scientific article; zbMATH DE number 910717

Cited in

(3)

• Algorithmic theories of problems. A constructive and a non-constructive approach
• scientific article; zbMATH DE number 753773 (Why is no real title available?)
• The Rule of Existential Generalisation and Explicit Substitution

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