Forum: A multiple-conclusion specification logic
From MaRDI portal
Publication:671512
DOI10.1016/0304-3975(96)00045-XzbMATH Open0872.68019MaRDI QIDQ671512FDOQ671512
Authors: Dale Miller 
Publication date: 27 February 1997
Published in: Theoretical Computer Science (Search for Journal in Brave)
Recommendations
- scientific article
- A logic of argumentation for specification and verification of abstract argumentation frameworks
- scientific article; zbMATH DE number 1231530
- On multiple conclusion deductions in classical logic
- A framework for defining logics
- Modal multilattice logic
- The single-conclusion proof logic and inference rules specification
- A systematic proof theory for several modal logics
- A general framework for logics of questions
- Some multi-conclusion modal paralogics
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- A framework for defining logics
- Linear logic
- A calculus of mobile processes. I
- Logic programming in a fragment of intuitionistic linear logic
- Logic Programming with Focusing Proofs in Linear Logic
- On the unity of logic
- Uniform proofs as a foundation for logic programming
- A logical analysis of modules in logic programming
- Title not available (Why is that?)
- Title not available (Why is that?)
- Implementing tactics and tacticals in a higher-order logic programming language
- The foundation of a generic theorem prover
- Title not available (Why is that?)
- On goal-directed provability in classical logic
- Using typed lambda calculus to implement formal systems on a machine
Cited In (37)
- Subexponentials in non-commutative linear logic
- A framework for proof systems
- Least and Greatest Fixed Points in Linear Logic
- Proofs as computations in linear logic
- Formalization of metatheory of the Quipper quantum programming language in a linear logic
- On the intuitionistic force of classical search
- Non-commutative proof construction: a constraint-based approach
- On the relations between disjunctive and linear logic programming
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax
- Formalizing operational semantic specifications in logic
- On the algebraic structure of declarative programming languages
- Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols
- Interpolation in linear logic and related systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Cut-elimination for a logic with definitions and induction
- Specifying proof systems in linear logic with subexponentials
- Relating state-based and process-based concurrency through linear logic (full-version)
- Logical approximation for program analysis
- Efficient resource management for linear logic proof search
- Encryption as an abstract data-type (extended abstract)
- True Concurrency of Deep Inference Proofs
- Encoding transition systems in sequent calculus
- On linear logic planning and concurrency
- Focusing and polarization in linear, intuitionistic, and classical logics
- Encoding generic judgments: preliminary results
- Towards substructural property-based testing
- Focusing in Linear Meta-logic
- Expanding the Realm of Systematic Proof Theory
- MELL in the calculus of structures
- Relating state-based and process-based concurrency through linear logic
- Connection methods in linear logic and proof nets construction
- Proof-search in type-theoretic languages: An introduction
- Proof-search and proof nets in mixed linear logic
- A Survey of the Proof-Theoretic Foundations of Logic Programming
- On structuring proof search for first order linear logic
- Reasoning in Abella about structural operational semantics specifications
Uses Software
This page was built for publication: Forum: A multiple-conclusion specification logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q671512)
