scientific article; zbMATH DE number 6787693

zbMATH Open1396.03011MaRDI QIDQ5365502FDOQ5365502

Authors: Vít Punčochář 

Publication date: 6 October 2017

Title of this publication is not available (Why is that?)

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
• Logical operations and invariance
• Logical operators on complete lattices

zbMATH Keywords

semanticsnatural deductionintensionalitylogical operatorsassertibility

Mathematics Subject Classification ID

Abstract deductive systems (03B22)

Cited In (4)

• Title not available (Why is that?)
• Weak negation in inquisitive semantics
• An approach to the interpretation on intensional contexts
• 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)