Noncommutative logic - PDFSEARCH.IO - Document Search Engine

Noncommutative logic
Results: 10

#	Item
1	Dualities in logic and geometry The Weyl-Heisenberg algebra Calculations Add to Reading List Source URL: people.maths.ox.ac.uk Language: English - Date: 2014-08-13 10:47:43 Theoretical physics Physics Mathematics Mathematical physics Quantum gravity Duality Noncommutative geometry Mathematical formulation of quantum mechanics Hermann Weyl Model theory Heisenberg group Mathematical logic
2	The Focused Calculus of Structures Kaustuv Chaudhuri, Nicolas Guenot, and Lutz Straßburger INRIA & LIX/École Polytechnique Route de Saclay, 91128 Palaiseau, France {kaustuv,nguenot,lutz}@lix.polytechnique.fr Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2011-06-22 07:54:11 Logic Proof theory Mathematical logic Sequent Linear logic Cut-elimination theorem Noncommutative logic Rule of inference Soundness Natural deduction CurryHoward correspondence
3	On some possible mathematical connections concerning Noncommutative Minisuperspace Cosmology, Noncommutative Quantum Cosmology in low-energy String Action, Noncommutative Kantowsky-Sachs Quantum Model, Spectral Action Pr Add to Reading List Source URL: empslocal.ex.ac.uk Language: English - Date: 2008-01-16 04:37:12 Symbol Linear temporal logic
4	27 January 2007, ACM Transactions on Computational Logic, Vol. 8 (1:1), 2007, pp. 1–64 A System of Interaction and Structure Alessio Guglielmi University of Bath Bath BA2 7AY Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:38:50 Noncommutative logic Linear logic Natural deduction Substructural logic Cut-elimination theorem Sequent Curry–Howard correspondence Deep inference Admissible rule Logic Mathematical logic Proof theory
5	28 June[removed]Non-commutativity and MELL in the Calculus of Structures Alessio Guglielmi and Lutz Straßburger Technische Universit¨ Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:38:31 Mathematics Natural deduction Noncommutative logic Cut-elimination theorem Sequent calculus Linear logic Sequent Rule of inference Function Logic Mathematical logic Proof theory
6	AG16 SOME NEWS ON SUBATOMIC LOGIC Alessio Guglielmi (TU Dresden and University of Bath[removed]After our experience with the calculus of structures (CoS) [WS], we Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:37:51 Non-classical logic Boolean algebra Substructural logic Logical connectives Negation Linear logic Rule of inference Modal logic Noncommutative logic Logic Mathematical logic Propositional calculus
7	THE COMMUTATIVE/NONCOMMUTATIVE LINEAR LOGIC BV ALESSIO GUGLIELMI A BSTRACT . This brief survey contains an informal presentation of the commutative/noncommutative linear logic BV in terms of a naif space-temporal model. Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2014-05-08 11:14:10 Mathematics Calculus of structures Deep inference Linear logic Cut-elimination theorem Proof calculus Analytic proof Sequent calculus Propositional calculus Logic Mathematical logic Proof theory
8	A Non-commutative Extension of MELL Alessio Guglielmi and Lutz Straßburger Technische Universit¨at Dresden Fakult¨ at Informatik[removed]Dresden - Germany [removed] and Lutz.Strassburger@Inf. Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2005-12-02 04:44:23 Propositional calculus Substructural logic Logical truth Automated theorem proving Natural deduction Noncommutative logic Cut-elimination theorem Sequent calculus Sequent Logic Mathematical logic Proof theory
9	Linear Logic and Applications Valeria de Paiva, Josef van Genabith, Eike Ritter and Richard Crouch September 30, 1999 Add to Reading List Source URL: www.dagstuhl.de Language: English - Date: 2008-10-17 09:32:38 Non-classical logic Formal languages Logic in computer science Categorial grammar Noncommutative logic Proof theory Linear logic Johan van Benthem Bunched logic Logic Mathematical logic Substructural logic
10	PDF Document Add to Reading List Source URL: hal.archives-ouvertes.fr Language: English - Date: 2007-06-19 07:36:16 Proof theory Philosophical logic Metalogic Noncommutative logic Linear logic Entailment Natural deduction Jean-Yves Girard Proof net Logic Substructural logic Deduction