Logic Without Syntax

Details Logic Without Syntax Logic Without Syntax

2005-04-04

arxiv.org/abs/math/0504065v1

Mathematics

Logic

Scientific paper

This paper presents an abstract, mathematical formulation of classical propositional logic. It proceeds layer by layer: (1) abstract, syntax-free propositions; (2) abstract, syntax-free contraction-weakening proofs; (3) distribution; (4) axioms (p OR NOT p). Abstract propositions correspond to objects of the category G(Rel^L) where G is the Hyland-Tan double glueing construction, Rel is the standard category of sets and relations, and L is a set of literals. Abstract proofs are morphisms of a tight orthogonality subcategory of Gl(Rel^L), where we define Gl as a lax variant of G. We prove that the free binary product-sum category (contraction-weakening logic) over L is a full subcategory of Gl(Rel^L), and the free distributive lattice category (contraction-weakening-distribution logic) is a full subcategory of Gl(Rel^L). We explore general constructions for adding axioms, which are not Rel-specific or (p OR NOT p)-specific.

Affiliated with

Also associated with

No associations

Rating

Logic Without Syntax does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Logic Without Syntax, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Logic Without Syntax will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-576023