Isomorphic formulae in classical propositional logic
Copyright policy )Isomorphic formulae in classical propositional logic
AbstractIsomorphism between formulae is defined with respect to categories formalizing equality of deductions in classical propositional logic and in the multiplicative fragment of classical linear propositional logic caught by proof nets. This equality is motivated by generality of deductions. Characterizations are given for pairs of isomorphic formulae, which lead to decision procedures for this isomorphism.
03F03, 03F07, 03F52, 03G30, Proof theory in general (including proof-theoretic semantics), isomorphic formulae, categories, Structure of proofs, Proof-theoretic aspects of linear logic and other substructural logics, categorial coherence, Mathematics - Category Theory, Mathematics - Logic, equality of deductions, classical propositional logic, classical linear propositional logic, Classical propositional logic, FOS: Mathematics, identity of proofs, Category Theory (math.CT), Logic (math.LO), Categorical logic, topoi
03F03, 03F07, 03F52, 03G30, Proof theory in general (including proof-theoretic semantics), isomorphic formulae, categories, Structure of proofs, Proof-theoretic aspects of linear logic and other substructural logics, categorial coherence, Mathematics - Category Theory, Mathematics - Logic, equality of deductions, classical propositional logic, classical linear propositional logic, Classical propositional logic, FOS: Mathematics, identity of proofs, Category Theory (math.CT), Logic (math.LO), Categorical logic, topoi
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).3 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Average impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!