Syntactical properties of unbounded nets of processors (original) (raw)
Related papers
Finite-valued Logics for Information Processing
Fundamenta Informaticae
Linear Logic for Nets with Bounded Resources
Annals of Pure and Applied Logic, 1996
A semantic measure of the execution time in linear logic
Theoretical Computer Science, 2011
From truth to computability II
Theoretical Computer Science, 2007
On the relation between coherence semantics and multiplicative proof nets
1994
A graph-theoretic account of logics
Marcelo Esteban Coniglio, Amílcar Sernadas
07441 Abstracts Collection--Algorithmic-Logical Theory of Infinite Structures}
Non modularity and expressibility for nets of relations (extended abstract)
Lecture Notes in Computer Science, 1992
Proof nets and labeling for categorial grammar logics
1996
Proceedings of the 14th conference on Computational …, 1992
Theoretical Computer Science, 2006
Reasoning about infinite computation paths
24th Annual Symposium on Foundations of Computer Science (sfcs 1983), 1983
Proof nets for linguistic analysis
2002
Cyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application to Language Parsing
Lecture Notes in Computer Science, 2016
Logical operations and iterated infinitely deep languages
Studia Logica, 1983
Coherence in finite argument systems
Artificial Intelligence, 2002
Observing, reporting, and deciding in networks of sentences
2012
Graph-theoretic fibring of logics Part I-Completeness
2008
Complete Axiomatizations of Finite Syntactic Epistemic States
Lecture Notes in Computer Science, 2006
Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing
Lecture Notes in Computer Science, 2015
Bulletin of the Section of Logic Volume 36:1/2 (2007), pp. 67–78
2015
Propositional computability logic I
ACM Transactions on Computational Logic, 2006
Complexidade computacional de logic
A semantic characterisation of the correctness of a proof net
Mathematical Structures in Computer Science, 1997
Transformations of logic programs on infinite lists
Theory and Practice of Logic Programming, 2010
An Algebraic Semantics for Hierarchical P/T Nets (Extended Abstract)
1999
19th Workshop on Logic, Language, Information and Computation (WoLLIC 2012)
Logic Journal of IGPL, 2013
On Graph-theoretic Fibring of Logics
Journal of Logic and Computation, 2009
Logic, Language, and Computation
Lecture Notes in Computer Science, 2011