scientific article; zbMATH DE number 1114036

MaRDI QIDQ4375805zbMATH OpenFDO

Authors Marek Bednarczyk

Publication date 8 February 1998

zbMATH Keywords

logic of predicates with equality and explicit substitutionsnoncommutative linear logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic
• scientific article; zbMATH DE number 2079521
• scientific article; zbMATH DE number 5910661
• Phase semantics for a pure noncommutative linear propositional logic
• Noncommutative linear logic and its quantale semantics

Cited in

(6)

• scientific article; zbMATH DE number 6704266 (Why is no real title available?)
• scientific article; zbMATH DE number 5910658 (Why is no real title available?)
• The Rule of Existential Generalisation and Explicit Substitution
• Theory and Applications of Satisfiability Testing
• Logical forms, substitutions and information types
• Substitutions into propositional tautologies

This page was built for publication:

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