scientific article; zbMATH DE number 7450005

zbMath1486.03026arXiv1904.06850MaRDI QIDQ5018490

Elaine Pimentel, Carlos Olarte, Giselle Reis, V. C. V. de Paiva

Publication date: 20 December 2021

Full work available at URL: https://arxiv.org/abs/1904.06850

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mechanization of proofs and logical operations (03B35) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Subsystems of classical logic (including intuitionistic logic) (03B20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items

ILLTP, Unnamed Item, Resourceful program synthesis from graded linear types

Uses Software

• ILTP
• TPTP
• QMLTP
• linTAP
• llprover
• Sympli
• Lolli

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• A framework for proof systems
• The ILTP problem library for intuitionistic logic
• Focusing and polarization in linear, intuitionistic, and classical logics
• Decision problems for propositional linear logic
• Resolution calculus for the first order linear logic
• Proof strategies in linear logic
• On the linear decoration of intuitionistic derivations
• A linear logical framework
• Efficient resource management for linear logic proof search
• The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
• Twenty years of rewriting logic
• A formal framework for specifying sequent calculus proof systems
• On concurrent behaviors and focusing in linear logic
• Intuitionistic hybrid logic
• The QMLTP Problem Library for First-Order Modal Logics
• An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials
• Some Syntactical Observations on Linear Logic
• Logic Programming with Focusing Proofs in Linear Logic
• Typed Multiset Rewriting Specifications of Security Protocols
• Around Classical and Intuitionistic Linear Logics
• Automated Deduction – CADE-20
• Algebra and Coalgebra in Computer Science