!-Logic

!-Logic

<p>Equational reasoning with string diagrams provides an intuitive method for proving equations between morphisms in various forms of monoidal category. !-Graphs were introduced with the intention of reasoning with infinite families of string diagrams by allowing repetition of sub-diagrams. Ho...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Quick, D
Rannpháirtithe:	Coecke, B
Formáid:	Tráchtas
Teanga:	English
Foilsithe / Cruthaithe:	2015
Ábhair:	Logic Graphical calculus Graph theory

Míreanna comhchosúla

Contribution of Warsaw Logicians to Computational Logic
de réir: Damian Niwiński
Foilsithe / Cruthaithe: (2016-06-01)

Proof-search in hybrid logic
de réir: Daiva Aleknavičiūtė, et al.
Foilsithe / Cruthaithe: (2008-12-01)

Logic of knowledge with infinitely many agents
de réir: Regimantas Pliuškevičius
Foilsithe / Cruthaithe: (2023-09-01)

The ZX-calculus is complete for stabilizer quantum mechanics
de réir: Miriam Backens
Foilsithe / Cruthaithe: (2014-01-01)

Logic Graphs for ALC, SHIF and SHOIN Description Logics
de réir: Nguyen Ngoc Than, et al.
Foilsithe / Cruthaithe: (2020-09-01)

Mathematical logic /
de réir: 349455 Ponasse, Daniel
Foilsithe / Cruthaithe: (1973)

Specialization of derivations in modal logic S5
de réir: Aida Pliuškevičienė
Foilsithe / Cruthaithe: (2023-09-01)

Cut-Free Gentzen Sequent Calculi for Tense Logics
de réir: Zhe Lin, et al.
Foilsithe / Cruthaithe: (2023-06-01)

Sequent calculus for logic of correlated knowledge
de réir: Haroldas Giedra, et al.
Foilsithe / Cruthaithe: (2011-12-01)

Completeness,compactness, and undercidability : an introduction to mathematical logic /
de réir: 343792 Manaster, Alfred B.
Foilsithe / Cruthaithe: (1975)

Multi-succedent sequent calculus for intuitionistic epistemic logic
de réir: Romas Alonderis
Foilsithe / Cruthaithe: (2024-12-01)

Iconic logic: the visual art of drawing the right conclusion
de réir: Peter Kramer
Foilsithe / Cruthaithe: (2024-06-01)

Linear Abelian Modal Logic
de réir: Hamzeh Mohammadi
Foilsithe / Cruthaithe: (2024-03-01)

A labeled sequent calculus for propositional linear time logic
de réir: Romas Alonderis
Foilsithe / Cruthaithe: (2012-12-01)

A specialization of definitions in common knowledge logic
de réir: Aurimas Paulius Girčys, et al.
Foilsithe / Cruthaithe: (2011-12-01)

Brief calculus : a graphing calculator approach /
de réir: 421186 Wheeler, Ruric E., et al.
Foilsithe / Cruthaithe: (1996)

Discovering calculus with the graphing calculator /
de réir: 381598 Shoaf-Grubbs, Mary Margaret
Foilsithe / Cruthaithe: (1996)

A type-logical treebank for French
de réir: Richard Moot
Foilsithe / Cruthaithe: (2015-07-01)

Brodsky’s coding method for propositional logic
de réir: Romas Alonderis
Foilsithe / Cruthaithe: (2017-12-01)

Restrictions for loop-check in sequent calculus for temporal logic
de réir: Adomas Birštunas
Foilsithe / Cruthaithe: (2008-12-01)

A method of marks and indices for linear modal logic
de réir: Regimantas Pliuškevičius, et al.
Foilsithe / Cruthaithe: (2009-12-01)

New Modification of the Subformula Property for a Modal Logic
de réir: Mitio Takano
Foilsithe / Cruthaithe: (2020-11-01)

Graph Drawing [electronic resource] : 14th International Symposium, GD 2006, Karlsruhe, Germany, September 18-20, 2006. Revised Papers /
de réir: Symposium on Graph Drawing (14th : 2006 : Karlsruhe, Germany), et al.
Foilsithe / Cruthaithe: (2007)

Sequent Systems for Consequence Relations of Cyclic Linear Logics
de réir: Paweł Płaczek
Foilsithe / Cruthaithe: (2024-04-01)

Reliability Analysis of Logic Network with Multiple Outputs
de réir: Elena Zaitseva, et al.
Foilsithe / Cruthaithe: (2015-04-01)

A sequent calculus for propositional temporal logic with time gaps
de réir: Romas Alonderis
Foilsithe / Cruthaithe: (2011-12-01)

Method of marks for propositional linear temporal logic
de réir: Regimantas Pliuškevičius
Foilsithe / Cruthaithe: (2014-12-01)

Precalculus essentials : enhanced with graphing utilities /
de réir: Sullivan, Michael, 1942-, et al.
Foilsithe / Cruthaithe: (2006)

Two deductions systems for the Logic PM4N
de réir: Hércules de Araújo Feitosa, et al.
Foilsithe / Cruthaithe: (2022-12-01)

One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity
de réir: Paweł Płaczek
Foilsithe / Cruthaithe: (2021-03-01)

Loop-check elimination for non-transitive distributed knowledge logic
de réir: Aida Pliuškevičienė
Foilsithe / Cruthaithe: (2008-12-01)

Contraction-free calculi for modal logics S5 and KD45
de réir: Julius Andrikonis, et al.
Foilsithe / Cruthaithe: (2011-12-01)

Termination of derivations for minimal tense logic
de réir: Regimantas Pliuškevičius
Foilsithe / Cruthaithe: (2009-12-01)

Elimination of loop-check for logic of idealized knowledge
de réir: Aida Pliuškevičienė
Foilsithe / Cruthaithe: (2009-12-01)

Study of Fractional Differential Equations Emerging in the Theory of Chemical Graphs: A Robust Approach
de réir: Ali Turab, et al.
Foilsithe / Cruthaithe: (2022-11-01)

Technical methods in philosophy /
de réir: 287510 Pollock, John L.
Foilsithe / Cruthaithe: (1990)

Logic in games /
de réir: Benthem, Johan van, 1949-
Foilsithe / Cruthaithe: (2014)

The effectiveness of using portfolio assessment in lecture by controlling mathematical logical intelligence
de réir: G.A Mahayukti, et al.
Foilsithe / Cruthaithe: (2018-01-01)

ViGLAD: Vision Graph Neural Networks for Logical Anomaly Detection
de réir: Firas Zoghlami, et al.
Foilsithe / Cruthaithe: (2024-01-01)

Logical Rule-Based Knowledge Graph Reasoning: A Comprehensive Survey
de réir: Zefan Zeng, et al.
Foilsithe / Cruthaithe: (2023-10-01)