The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "Reports on Mathematical Logic"( http://dblp.L3S.de/Venues/Reports_on_Mathematical_Logic )

URL (DBLP): http://dblp.uni-trier.de/db/journals/rml

Publication years (Num. hits)
1991-1992 (16) 1993-1994 (16) 1995-1996 (20) 1997-1999 (19) 2000-2001 (17) 2002-2003 (16) 2004-2005 (17) 2006 (18) 2007-2008 (18) 2009-2010 (19) 2011-2012 (16) 2013-2014 (12)
Publication types (Num. hits)
article(204)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 204 publication records. Showing 204 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Grzegorz Jagiella, Ludomir Newelski On ordered minimal structures. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2014 DBLP  BibTeX  RDF
1Sergio A. Celani, Daniela Montangie Hilbert algebras with a necessity modal operator. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2014 DBLP  BibTeX  RDF
1Jerzy Mycka Recursively enumerable sets and well-ordering of their enumerations. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2014 DBLP  BibTeX  RDF
1Grzegorz Herman Complexity of cover-preserving embeddings of bipartite orders into Boolean lattices. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2014 DBLP  BibTeX  RDF
1Norihiro Kamide An eight-valued praconsistent logic. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2014 DBLP  BibTeX  RDF
1Rafael Grimson, Bart Kuijpers Some fragments of second-order logic over the reals for which satisability and equivalence are (un)decidable. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2014 DBLP  BibTeX  RDF
1José Luis Castiglioni, Hernán Javier San Martín Errata on "On the variety of Heyting algebras with successor generated by all finite chains". Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2013 DBLP  BibTeX  RDF
1Sergio A. Celani A semantic analysis of some distributive logics with negation. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2013 DBLP  BibTeX  RDF
1Tin Perkov Tableau-based bisimulation invariance testing. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2013 DBLP  BibTeX  RDF
1Alex Citkin Jankov-style formulas and refutation systems. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2013 DBLP  BibTeX  RDF
1Peter Jipsen, Antonio Ledda, Francesco Paoli On some properties of quasi-MV algebras and √' quasi-MV algebras. Part IV. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2013 DBLP  BibTeX  RDF
1Yvon Gauthier Kronecker in Contemporary Mathematics. General Arithmetic as a Foundational Programme. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2013 DBLP  BibTeX  RDF
1Kensuke Kojima Relational and neighborhood semantics for intuitionistic modal logic. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2012 DBLP  BibTeX  RDF
1George Voutsadakis Secrecy Logic: Protoalgebraic S-Secrecy Logics. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2012 DBLP  BibTeX  RDF
1Josef Berger, Hajime Ishihara, Peter Schuster The Weak Koenig Lemma, Brouwer's Fan Theorem, De Morgan's Law, and Dependent Choice. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2012 DBLP  BibTeX  RDF
1Gemma Robles Paraconsistency and consistency understood as the absence of the negation of any implicative theorem. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2012 DBLP  BibTeX  RDF
1Roland Hinnion Ultrafilters (with dense elements) over closure spaces. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2012 DBLP  BibTeX  RDF
1Norihiro Kamide Strong normalization of a typed lambda calculus for intuitionistic bounded linear-time temporal logic. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2012 DBLP  BibTeX  RDF
1Natalya Tomova A lattice of implicative extensions of regular Kleene's logics. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2012 DBLP  BibTeX  RDF
1George Voutsadakis CAAL: Categorical Abstract Algebraic Logic: Coordinatization is Algebraization. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2012 DBLP  BibTeX  RDF
1Norihiro Kamide A logic of sequences. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2011 DBLP  BibTeX  RDF
1Manuel Abad, Juan Manuel Cornejo, José Patricio Díaz Varela The Variety of Semi-Heyting Algebras Satisfying the equation (0 → 1)* v (0 → 1)** ≈ 1. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2011 DBLP  BibTeX  RDF
1Daisuke Souma Minimal subvarieties of involutive residuated lattices. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2011 DBLP  BibTeX  RDF
1Martín Figallo Some results on diagonal-free two-dimensional cylindric algebras. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2011 DBLP  BibTeX  RDF
1Josep Maria Font On semilattice-based logics with an algebraizable assertional companion. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2011 DBLP  BibTeX  RDF
1Tomasz A. Gorazd, Jacek Krzaczkowski The complexity of problems connected with two-element algebras. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2011 DBLP  BibTeX  RDF
1Yasusi Hashimoto, Akio Maruyama Inclusion Relationship between Pseudo-Euclidean Logics. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2011 DBLP  BibTeX  RDF
1Domagoj Vrgoc, Mladen Vukovic Bisimulation quotients of Veltman models. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2011 DBLP  BibTeX  RDF
1Sinisa Crvenkovic, Melanija Mitrovic, Daniel Abraham Romano Complementary pair of quasi-antiorders. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2010 DBLP  BibTeX  RDF
1Francesco Paoli, Tomasz Kowalski On some properties of quasi MV algebras and square root quasi MV algebras. Part III. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2010 DBLP  BibTeX  RDF
1José L. Castiglioni, Hernán Javier San Martín On the variety of Heyting algebras with successor generated by all finite chains. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2010 DBLP  BibTeX  RDF
1Norihiro Kamide Automating and computing paraconsistent reasoning: contraction-free, resolution and type systems. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2010 DBLP  BibTeX  RDF
1José L. Castiglioni, Marta Sagastume, Hernán Javier San Martín On frontal Heyting algebras. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2010 DBLP  BibTeX  RDF
1Alexandre A. M. Rodrigues, Ricardo C. Miranda Filho, Edelcio G. de Souza Definability in infinitary languages and invariance by automorphims. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2010 DBLP  BibTeX  RDF
1 Polemics. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2010 DBLP  BibTeX  RDF
1Szymon Frankowski On the Lattice of p-consequences. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2010 DBLP  BibTeX  RDF
1Ai-ni Hsieh Some locally tabular logics with contraction and mingle. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2010 DBLP  BibTeX  RDF
1Gemma Robles Minimal non-relevant logics without the K axiom II. Negation introduced via the unary connective. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2010 DBLP  BibTeX  RDF
1Juan Climent Vidal, Juan Soliveres Tur A 2-categorical framework for the syntax and semantics of many-sorted equational logic. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2010 DBLP  BibTeX  RDF
1Stefano Cavagnetto String Rewriting and Proof Complexity: an interpretation of Resolution. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2009 DBLP  BibTeX  RDF
1George Voutsadakis Categorical Abstract Algebraic Logic: Syntactically Algebraizable π-Institutions. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2009 DBLP  BibTeX  RDF
1Leonardo Manuel Cabrer Non canonicity of BL-algebras. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2009 DBLP  BibTeX  RDF
1Jerzy Mycka A simple observation regarding iterations of finite-valued polynomial-time functions. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2009 DBLP  BibTeX  RDF
1Takahiro Seki Completness of relevant modal logics with disjunctive rules. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2009 DBLP  BibTeX  RDF
1Francesco Paoli, Antonio Ledda, Roberto Giuntini, Hector Freytes On some properties of quasi-MV algebras and $\sqrt{^{\prime }}$ quasi-MV algebras. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2009 DBLP  BibTeX  RDF
1Rodolfo C. Ertola, Marta Sagastume Subminimal logic and weak algebras. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2009 DBLP  BibTeX  RDF
1Marina Lattanzi, Alejandro Petrovich A Duality for (n+1)-valued MV-algebras. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2009 DBLP  BibTeX  RDF
1Janusz Czelakowski Additivity of the commutator and residuation. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2008 DBLP  BibTeX  RDF
1Wojciech Buszkowski On the complexsity of some substructural logics. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2008 DBLP  BibTeX  RDF
1Mai Gehrke, Hilary A. Priestley Canonical extensions and completions of posets and lattices. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2008 DBLP  BibTeX  RDF
1Nikolaos Galatos, Jeffrey S. Olson, James G. Raftery Irreducible residuated semilattices and finitely based varieties. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2008 DBLP  BibTeX  RDF
1Maciej Farulewski Finite embeddability property for residuated groupoids. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2008 DBLP  BibTeX  RDF
1Tomasz Kowalski, John K. Slaney A finite fragment of S3. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2008 DBLP  BibTeX  RDF
1Hitoshi Kihara, Hiroakira Ono Algebraic characterizations of variable separation properties. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2008 DBLP  BibTeX  RDF
1Wojciech Dzik Unification in some substructural logics of BL-algebras and hoops. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2008 DBLP  BibTeX  RDF
1Hugo Luiz Mariano, Francisco Miraglia Profinite Structures are Retracts of Ultraproducts of Finite Structures. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2007 DBLP  BibTeX  RDF
1Roland Hinnion Intensional solutions to the identity problem for partial sets. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2007 DBLP  BibTeX  RDF
1Kamila Bendová A weak essentially undecidable theory. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2007 DBLP  BibTeX  RDF
1James G. Raftery On the variety generated by involutive pocrims. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2007 DBLP  BibTeX  RDF
1Kamil Kloch Online dimension of partially ordered sets. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2007 DBLP  BibTeX  RDF
1George Voultsadakis Categorical Abstract Algebraic Logic: Strong Version of a Protoalgebraic pi-Institution. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2007 DBLP  BibTeX  RDF
1Alexander Sakharov Intuitionistic Predicate Logic with Decidable Propositional Formulas. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2007 DBLP  BibTeX  RDF
1Katarzyna Slomczynska Purely equivalential propositional formulas in the intermediate Godel-Dummett logic. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2007 DBLP  BibTeX  RDF
1Gemma Robles, José M. Méndez Minimal non-relevant logics without the K axiom. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2007 DBLP  BibTeX  RDF
1Manuel Abad, José Patricio Díaz Varela, Laura A. Rueda, Ana Maria Suardíaz Free three-valued Closure Lukasiewicz Algebras. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2007 DBLP  BibTeX  RDF
1James G. Raftery The equational definability of truth predicates. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2006 DBLP  BibTeX  RDF
1Marcin Kysiak A Note on Transitive Sets without the Foundation Axiom. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2006 DBLP  BibTeX  RDF
1Luís A. Sbardellini, Marcelo E. Coniglio Some Results on Ordered Structures in Toposes. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2006 DBLP  BibTeX  RDF
1Àngel J. Gil, Jordi Rebagliato Equivalential Gentzen systems and the reduced matrices of the Gentzen systems associated with finitely valued logics. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2006 DBLP  BibTeX  RDF
1Juan Climent Vidal, Juan Soliveres Tur On the Completeness Theorem of Many-sorted Equational Logic and the Equivalence between Hall Algebras and Bénabou Theories. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2006 DBLP  BibTeX  RDF
1George Voutsadakis Categorical Abstract Algebraic Logic: Full Models, Frege Systems and Metalogical Properties. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2006 DBLP  BibTeX  RDF
1Janusz Czelakowski, Wieslaw Dziobiak On truth-schemes for intensional logics. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2006 DBLP  BibTeX  RDF
1Claudia Sanza n x m Lukasiewicz Algebras with Negation. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2006 DBLP  BibTeX  RDF
1Josep Maria Font, Andrzej Wronski Preface: In memory of Wim Blok. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2006 DBLP  BibTeX  RDF
1Yosuke Katoh, Tomasz Kowalski, Masaki Ueda Almost minimal varieties related to fuzzy logic. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2006 DBLP  BibTeX  RDF
1Ramon Jansana, Alessandra Palmigiano Referential semantics: duality and applications. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2006 DBLP  BibTeX  RDF
1Alexandre A. M. Rodrigues, Ricardo C. Miranda Filho, Edelcio G. de Souza Invariance and Set-Theoretical Operations in First Order Structures. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2006 DBLP  BibTeX  RDF
1Christian Delhommé, Marianne Morillon Spanning Graphs and the Axiom of Choice. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2006 DBLP  BibTeX  RDF
1Rafal Urbaniak On Ontological Functors of Lesniewski's Elementary Ontology. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2006 DBLP  BibTeX  RDF
1Lloyd Humberstone Extensions of Intuitionistic Logic without the Deduction Theorem: Some Simple Examples. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2006 DBLP  BibTeX  RDF
1Kazimierz Swirydowicz Upper Part of the Lattice of Extensions of the Positive Relevant Logic R+. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2006 DBLP  BibTeX  RDF
1Roland Hinnion Intensional Positive Set Theory. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2006 DBLP  BibTeX  RDF
1Luiz F. Monteiro, Manuel Abad, Sonia Savini, Julio Sewald, Marta A. Zander Subalgebras of a Finite Monadic Boolean Algebra. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2006 DBLP  BibTeX  RDF
1Kamila Bendová Interpolation and Three-valued Logics. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2005 DBLP  BibTeX  RDF
1M. Schirn, K. G. Niebergal Finitism = PRA? On a Thesis of W. W. Tait. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2005 DBLP  BibTeX  RDF
1Sergio A. Celani Modal Tarski Algebras. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2005 DBLP  BibTeX  RDF
1Marek Zaionc On the Asymptotic Density of Tautologies in Logic of Implication and Negation. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2005 DBLP  BibTeX  RDF
1M. B. Lattanzi (n+1)-bounded Wajsberg Algebras with a U-operator. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2005 DBLP  BibTeX  RDF
1Gemma Robles, José M. Méndez, Francisco Salto Minimal Negation in the Ternary Relational Semantics. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2005 DBLP  BibTeX  RDF
1George Weaver Compactness in Equational Logic. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2005 DBLP  BibTeX  RDF
1James G. Raftery, Clint J. van Alten Corrigendum: Residuation in Commutative Ordered Monoids with Minimal Zero. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2005 DBLP  BibTeX  RDF
1Jerzy Kotas Self-dual Boolean Functions. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2004 DBLP  BibTeX  RDF
1Wojciech Buszkowski A Representation Theorem for Co-diagonalizable Algebras. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2004 DBLP  BibTeX  RDF
1J. Perzanowski Towards Combination Metaphisics. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2004 DBLP  BibTeX  RDF
1Jerzy Kotas, M. Malycha Remarks on the Arrangement of the Irreducible Elements of Finitely Generated Distributive Lattices in a Boolean Cube. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2004 DBLP  BibTeX  RDF
1Andrzej Wronski On Prucnal's Model-determinated Logic and Definable Predicates. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2004 DBLP  BibTeX  RDF
1Joanna Grygiel Application of the Cantor-Bendixon Construction to the Problem of Freely Generated Filters. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2004 DBLP  BibTeX  RDF
1Piotr Wojtylak On a Problem of H. Friedman and its Solution by T. Prucnal. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2004 DBLP  BibTeX  RDF
1Janusz Czelakowski Equivalential Logics (After 25 Years of Investigations). Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2004 DBLP  BibTeX  RDF
1Wojciech Dzik Chains of Structurally Complete Predicate Logics with the Application of Prucnal's Substitution. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2004 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 204 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license