Diversification of object-languages for propositional logics

DOI10.1007/S10849-018-9266-6MaRDI QIDQ1711508zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• scientific article; zbMATH DE number 1670748
• scientific article; zbMATH DE number 3848602
• Denotational semantics for a program logic of objects
• Semantics and logic of object calculi
• Logical foundations of object-oriented and frame-based languages
• scientific article; zbMATH DE number 3858391
• Synthesis of logic programs from object-oriented formal specifications
• scientific article; zbMATH DE number 3939323
• Logic for languages containing referentially promiscuous expressions

Cites work

• scientific article; zbMATH DE number 5316604 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A sequent calculus for a logic of contingencies
• Dag Prawitz on proofs and meaning
• LOGICAL GROUNDS
• Logic: a history of its central concepts
• MANIFESTATIONS ET SENS DE LA NOTION DE COMPLÉMENTARITÉ I. COMPLÉMENTARITÉ ET LOGIQUE
• On defining the notion of complete and immediate formal grounding
• On the logic of factual equivalence
• Some theorems on abstract logics
• The connectives
• Well founding grounding grounding
• Whither relevance logic?

Cited in

(3)

• Easy definition of new facets in the frame-based language Objlog+
• Grounding principles for (relevant) implication
• On Beall's new interpretation of \(WK_{3}\)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1711508)