scientific article; zbMATH DE number 6787693

MaRDI QIDQ5365502zbMATH OpenFDO

Authors Vít Punčochář

Publication date 6 October 2017

zbMATH Keywords

assertibilityintensionalitylogical operatorsnatural deductionsemantics

Mathematics Subject Classification ID

Abstract deductive systems (03B22)

Recommendations

• Logical operations
• Intensional logic in extensional language
• scientific article; zbMATH DE number 701123
• Proof-theoretic semantic values for logical operators
• scientific article; zbMATH DE number 54243
• scientific article; zbMATH DE number 1424026
• scientific article; zbMATH DE number 4200172
• Logical operations and invariance
• Logical operators on complete lattices

Cited in

(6)

• Relating semantics as fine-grained semantics for intensional logics
• An approach to the interpretation on intensional contexts
• Weak negation in inquisitive semantics
• scientific article; zbMATH DE number 19148 (Why is no real title available?)
• scientific article; zbMATH DE number 1004878 (Why is no real title available?)
• Natural deduction for assertibility and deniability

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