ar X iv : m at h / 05 04 06 5 v 1 [ m at h . L O ] 4 A pr 2 00 5 Logic Without Syntax
نویسنده
چکیده
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 ∨ p. Abstract propositions correspond to objects of the category G(Rel L) where G is the Hyland-Tan double glue-ing 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 G≤(Rel L), where we define G≤ as a lax variant of G. We prove that the free binary product-sum category (contraction-weakening logic) over L is a full subcate-gory of G(Rel L), and the free distributive lattice category (contraction-weakening-distribution logic) is a full sub-category of G≤(Rel L). We explore general constructions for adding axioms, which are not Rel-specific or (p ∨ p)-specific.
منابع مشابه
ar X iv : m at h / 05 04 37 3 v 1 [ m at h . Q A ] 1 9 A pr 2 00 5 Lax Operator for the Quantised Orthosymplectic
متن کامل
ar X iv : m at h / 05 04 08 2 v 4 [ m at h . D G ] 1 5 A pr 2 00 6 COMPLETE PROJECTIVE CONNECTIONS
The first examples of complete projective connections are uncovered: on surfaces, normal projective connections whose geodesics are all closed and embedded are complete. On manifolds of any dimension, normal projective connections induced from complete affine connections with slowly decaying positive Ricci curvature are complete.
متن کاملar X iv : m at h / 05 08 44 5 v 1 [ m at h . L O ] 2 4 A ug 2 00 5 INVARIANT MEASURES IN LUKASIEWICZ LOGIC
We prove that on the finitely generated free MV-algebras the only automorphism-invariant truth averaging process that detects pseudotrue propositions is the integral with respect to Lebesgue measure.
متن کاملar X iv : m at h / 03 04 06 5 v 1 [ m at h . G R ] 4 A pr 2 00 3 On approximation of topological groups by finite algebraic systems . II
Recall that a locally compact group G is called unimodular if the left Haar measure on G is equal to the right one. It is proved in this paper that G is unimodular iff it is approximable by finite quasigroups (Latin squares).
متن کاملar X iv : m at h / 02 06 04 1 v 3 [ m at h . FA ] 5 O ct 2 00 2 Abstract harmonic analysis , homological algebra , and operator spaces
harmonic analysis, homological algebra, and operator spaces
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005