Diversification of object-languages for propositional logics

DOI10.1007/s10849-018-9266-6OpenAlexW2788370193MaRDI QIDQ1711508

Nissim Francez

Publication date: 18 January 2019

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-018-9266-6

zbMATH Keywords

minglediversely-generated syntaxfreely-generated syntaxGricean maximsidentity of prooflogics of groundingrelevance logisself implication

Mathematics Subject Classification ID

Logic of natural languages (03B65) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (2)

Grounding principles for (relevant) implication ⋮ On Beall's new interpretation of \(WK_{3}\)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Well founding grounding grounding
• Dag Prawitz on proofs and meaning
• Logic: a history of its central concepts
• On defining the notion of complete and immediate formal grounding
• Whither relevance logic?
• A sequent calculus for a logic of contingencies
• Some theorems on abstract logics
• ON THE LOGIC OF FACTUAL EQUIVALENCE
• LOGICAL GROUNDS
• MANIFESTATIONS ET SENS DE LA NOTION DE COMPLÉMENTARITÉ I. COMPLÉMENTARITÉ ET LOGIQUE

This page was built for publication: Diversification of object-languages for propositional logics