THE MODAL LOGIC OF FORCINGHAMKINS, Joel David; LOWE, Benedikt.Transactions of the American Mathematical Society. 2008, Vol 360, Num 4, pp 1793-1817, issn 0002-9947, 25 p.Article

Logical foundations of rule-based systemsPERFILIEVA, Irina.Fuzzy sets and systems. 2006, Vol 157, Num 5, pp 615-621, issn 0165-0114, 7 p.Article

Invariance under stuttering in a temporal logic of actionsKAMINSKI, Michael.Theoretical computer science. 2006, Vol 368, Num 1-2, pp 50-63, issn 0304-3975, 14 p.Article

T-norm-based logics with an independent involutive negationFLAMINIO, Tommaso; MARCHIONI, Enrico.Fuzzy sets and systems. 2006, Vol 157, Num 24, pp 3125-3144, issn 0165-0114, 20 p.Article

Probability distribution for simple tautologiesZAIONC, Marek.Theoretical computer science. 2006, Vol 355, Num 2, pp 243-260, issn 0304-3975, 18 p.Article

Codings and their application in the DNF-implementation of binary functionsD'YAKONOV, A. G.Doklady. Mathematics. 2003, Vol 68, Num 1, pp 34-36, issn 1064-5624, 3 p.Article

A cartesian closed category in Martin-Löf's intuitionistic type theoryVALENTINI, Silvio.Theoretical computer science. 2003, Vol 290, Num 1, pp 189-219, issn 0304-3975, 31 p.Article

A complete adaptive algorithm for propositional satisfiabilityBRUNI, Renato; SASSANO, Antonio.Discrete applied mathematics. 2003, Vol 127, Num 3, pp 523-534, issn 0166-218X, 12 p.Article

A triangular norm-based fuzzy predicate logicWANG, San-Min; WANG, Bao-Shu; WANG, Guo-Jun et al.Fuzzy sets and systems. 2003, Vol 138, Num 1, pp 177-186, issn 0165-0114, 10 p.Article

Coalgebraic modal logic: soundness, completeness and decidability of local consequencePATTINSON, Dirk.Theoretical computer science. 2003, Vol 309, Num 1-3, pp 177-193, issn 0304-3975, 17 p.Article

Future temporal logic needs infinitely many modalitiesHIRSHFELD, Yoram; RABINOVICH, Alexander.Information and computation (Print). 2003, Vol 187, Num 2, pp 196-208, issn 0890-5401, 13 p.Article

Compositional rule of inference as an analogical scheme : Mathematical aspects of non-classical logics and fuzzy inferenceBOUCHON-MEUNIER, Bernadette; MESIAR, Radko; MARSALA, Christophe et al.Fuzzy sets and systems. 2003, Vol 138, Num 1, pp 53-65, issn 0165-0114, 13 p.Conference Paper

How to decide continuity of rational functions on infinite wordsPRIEUR, Christophe.Theoretical computer science. 2002, Vol 276, Num 1-2, pp 445-447, issn 0304-3975Article

Approximate Reasoning with WordsLEE, Jonathan; WANG, Hsiao-Fan.Fuzzy sets and systems. 2002, Vol 127, Num 1, issn 0165-0114, 99 p.Conference Proceedings

Dependent types with subtyping and late-bound overloadingCASTAGNA, Giuseppe; GANG CHEN.Information and computation (Print). 2001, Vol 168, Num 1, pp 2-67, issn 0890-5401Article

On model checking for the μ-calculus and its fragmentsEMERSON, E. Allen; JUTLA, Charanjit S; PRASAD SISTLA, A et al.Theoretical computer science. 2001, Vol 258, Num 1-2, pp 491-522, issn 0304-3975Article

Static Analysis for the π-calculus with Applications to securityBODEI, Chiara; DEGANO, Pierpaolo; NIELSON, Flemming et al.Information and computation (Print). 2001, Vol 168, Num 1, pp 68-92, issn 0890-5401Article

Constant time parallel computations in λ-calculusJOLY, Thierry.Theoretical computer science. 2001, Vol 266, Num 1-2, pp 975-985, issn 0304-3975Article

Induction by enumerationMARTIN, Eric; OSHERSON, Daniel.Information and computation (Print). 2001, Vol 171, Num 1, pp 50-68, issn 0890-5401Article

Fragments de l'arithmétique et fonctions de couplage = Fragments of arithmetic and pairing functionsBAISALOV, Yerzhan.Comptes rendus de l'Académie des sciences. Série 1, Mathématique. 2001, Vol 333, Num 9, pp 817-820, issn 0764-4442Article

Standard algebras for fuzzy propositional calculiHANIKOVA, Zuzana.Fuzzy sets and systems. 2001, Vol 124, Num 3, pp 309-320, issn 0165-0114Article

Systems of ordinal fuzzy logic with application to preference modellingDE BAETS, Bernard; ESTEVA, Francese; FODOR, Janos et al.Fuzzy sets and systems. 2001, Vol 124, Num 3, pp 353-359, issn 0165-0114Article

Fuzzy logicHAJEK, Petr; GODO, Lluis; GOTTWALD, S et al.Fuzzy sets and systems. 2001, Vol 124, Num 3, issn 0165-0114, 127 p.Serial Issue

Towards combining Inductive Logic Programming with Bayesian networksKERSTING, Kristian; DE RAEDT, Luc.Lecture notes in computer science. 2001, pp 118-131, issn 0302-9743, isbn 3-540-42538-1Conference Paper

Structural cut elimination. I. Intuitionistic and classical logicPFENNING, F.Information and computation (Print). 2000, Vol 157, Num 1-2, pp 84-141, issn 0890-5401Article