scientific article; zbMATH DE number 6787693

MaRDI QIDQ5365502zbMATH OpenFDO

Authors Vít Punčochář

Publication date 6 October 2017

zbMATH Keywords

semanticsnatural deductionintensionalitylogical operatorsassertibility

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
• Publication:4945216
• scientific article; zbMATH DE number 4200172
• Logical operations and invariance
• Logical operators on complete lattices

Cited in

(4)

• An approach to the interpretation on intensional contexts
• scientific article; zbMATH DE number 1004878 (Why is no real title available?)
• Weak negation in inquisitive semantics
• 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)