On the concurrent computational content of intermediate logics

DOI10.1016/J.TCS.2020.01.022zbMATH Open1433.68229OpenAlexW3001963265WikidataQ126314811 ScholiaQ126314811MaRDI QIDQ1989344

Agata Ciabattoni, Federico Aschieri, Francesco A. Genco

Publication date: 21 April 2020

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2020.01.022

zbMATH Keywords

natural deductionconcurrencyintermediate logicshypersequentsproofs-as-programs\( \lambda \)-calculus

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Combinatory logic and lambda calculus (03B40) Intermediate logics (03B55)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Computational interpretations of linear logic
• Hypersequents, logical consequence and intermediate logics for concurrency
• Mobile ambients
• Choreographies, logically
• The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
• A natural deduction system for intuitionistic fuzzy logic
• Propositions as sessions
• A Lambda Calculus for Gödel–Dummett Logic Capturing Waitfreedom
• Session Types as Intuitionistic Linear Propositions
• A constructive analysis of RM
• Implicational logics in natural deduction systems
• Functions as processes
• Proofs of strong normalisation for second order classical natural deduction
• Hypersequents and Systems of Rules
• Hyper Natural Deduction for Gödel Logic—A natural deduction system for parallel reasoning
• Hyper Natural Deduction
• Higher-Order Processes, Functions, and Sessions: A Monadic Integration
• The Mechanical Evaluation of Expressions
• Proof analysis beyond geometric theories: from rule systems to systems of rules

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Some results on intermediate constructive logics 👍 👎
• Hypersequents, logical consequence and intermediate logics for concurrency 👍 👎
• On the relation between concurrent separation logic and concurrent Kleene algebra 👍 👎
• Intermediate logics admitting a structural hypersequent calculus 👍 👎
• Computing interpolants in implicational logics 👍 👎
• Decidability of Modular Logics for Concurrency 👍 👎
• Computability Logic: A Formal Theory of Interaction 👍 👎

This page was built for publication: On the concurrent computational content of intermediate logics

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