Search results

computation tree logic over finite lattices 2015-12-15 Paper Robustness analysis of logic metrics on \(F(X)\) 2015-11-17 Paper Exponentials in a Cartesian closed...

1994-11-17 Paper A constructive proof of McNaughton's theorem in infinite-valued logic 1994-08-15 Paper A characterisation of lattice-ordered Abelian groups...

theory based on complete residuated lattice-valued logic 2007-02-20 Paper Automata theory based on complete residuated lattice-valued logic. II 2007-02-20...

terwijn.sebastiaan-aMaRDI QIDQ412012 This page was built for person: Sebastiaan A. Terwijn...

Automata and Weighted Logic on Data Words 2016-12-21 Paper The supports of weighted unranked tree automata 2016-05-11 Paper A Weighted MSO Logic with Storage Behaviour...

Paper The Probability of a Computable Output from a Random Oracle 2017-10-16 Paper Index Sets for Finite Normal Predicate Logic Programs with Function Symbols...

classical propositional logic 2016-03-15 Paper Topological characterization of a logic theory in many-valued propositional logic 2016-03-15 Paper Invariant...

Approximation and Fuzzy Logic 2007-09-24 Paper Perfect MV-algebras and their logic 2007-08-17 Paper Simplicial structures in MV-algebras and logic 2007-07-09 Paper...

four-valued logic based on a non-linearly ordered valuation lattice 2016-03-15 Paper Theory of generalized tautology on Lukasiewicz many-valued logic system...

LI-ideals in lattice implication algebra 2012-10-05 Paper On \(\alpha \)-satisfiability and its \(\alpha \)-lock resolution in a finite lattice-valued propositional...

1934-01-01 Paper Jordan measure and Riemann integration 1933-01-01 Paper Jordan measure and Riemann integration. 1933-01-01 Paper Jordan measure and Riemann integration...

polyadic inductive logic 2011-08-26 Paper A note on irrelevance in inductive logic 2011-06-17 Paper Symmetry's end? 2011-05-11 Paper A Note on Nathanial’s Invariance...

1988-01-01 Paper A theory of amplitudes 1988-01-01 Paper Finite function spaces and measures on hypergraphs 1988-01-01 Paper Positive sets in finite linear function...

equation. 2007-01-26 Paper The category of lattices over a lattice-finite ring. 2006-05-02 Paper Lattice-finite rings. 2006-05-02 Paper Unimodular brackets...

Remarks and problems on a lattice of equational chapters 1986-01-01 Paper Addendum to the paper On the dependence of functions on their variables 1986-01-01...

fields as a basis for possibilistic processes 2003-11-02 Paper Possibility measures and possibility integrals defined on a complete lattice 2003-08-25...

engines 2007-02-26 Paper Fuzzy logic-based networks: A study in logic data interpretation 2007-02-20 Paper Regranulation: a granular algorithm enabling communication...

2009-08-03 Paper ON A CERTAIN CLASS OF SUBMEASURES BASED ON TRIANGULAR NORMS 2009-08-03 Paper On extensions of triangular norms on bounded lattices 2009-07-28...

Infinite monochromatic paths and a theorem of Erdős-Hajnal-Rado 2020-05-20 Paper On a cardinal invariant related to the Haar measure problem 2020-05-20 Paper Universally...

systems 2019-12-18 Paper A Parametrized Analysis of Algorithms on Hierarchical Graphs 2019-12-10 Paper Sensing as a Complexity Measure 2019-12-10 Paper https://portal...