Forum: A multiple-conclusion specification logic
From MaRDI portal
Publication:671512
Recommendations
- scientific article; zbMATH DE number 5521458
- 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
- scientific article; zbMATH DE number 4180832 (Why is no real title available?)
- scientific article; zbMATH DE number 4209572 (Why is no real title available?)
- scientific article; zbMATH DE number 4092734 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 3074068 (Why is no real title available?)
- A calculus of mobile processes. I
- A framework for defining logics
- A logical analysis of modules in logic programming
- Implementing tactics and tacticals in a higher-order logic programming language
- Linear logic
- Logic Programming with Focusing Proofs in Linear Logic
- Logic programming in a fragment of intuitionistic linear logic
- On goal-directed provability in classical logic
- On the unity of logic
- The foundation of a generic theorem prover
- Uniform proofs as a foundation for logic programming
- Using typed lambda calculus to implement formal systems on a machine
Cited in
(36)- On linear logic planning and concurrency
- Formalizing operational semantic specifications in logic
- scientific article; zbMATH DE number 1497840 (Why is no real title available?)
- scientific article; zbMATH DE number 1497841 (Why is no real title available?)
- Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols
- Logical approximation for program analysis
- On the intuitionistic force of classical search
- Efficient resource management for linear logic proof search
- Connection methods in linear logic and proof nets construction
- Proof-search in type-theoretic languages: An introduction
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax
- Subexponentials in non-commutative linear logic
- On the algebraic structure of declarative programming languages
- Proof-search and proof nets in mixed linear logic
- MELL in the calculus of structures
- On the relations between disjunctive and linear logic programming
- Non-commutative proof construction: a constraint-based approach
- Towards substructural property-based testing
- Cut-elimination for a logic with definitions and induction
- Focusing in Linear Meta-logic
- Interpolation in linear logic and related systems
- Focusing and polarization in linear, intuitionistic, and classical logics
- Proofs as computations in linear logic
- A Survey of the Proof-Theoretic Foundations of Logic Programming
- Encryption as an abstract data-type (extended abstract)
- Expanding the Realm of Systematic Proof Theory
- Encoding transition systems in sequent calculus
- Relating state-based and process-based concurrency through linear logic
- Specifying proof systems in linear logic with subexponentials
- On structuring proof search for first order linear logic
- Formalization of metatheory of the Quipper quantum programming language in a linear logic
- Reasoning in Abella about structural operational semantics specifications
- True concurrency of deep inference proofs
- Relating state-based and process-based concurrency through linear logic (full-version)
- Encoding generic judgments: preliminary results
- A framework for proof systems
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)
