The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "Logic Journal of the IGPL"( http://dblp.L3S.de/Venues/Logic_Journal_of_the_IGPL )

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

Publication years (Num. hits)
1993-1995 (59) 1996 (24) 1997 (39) 1998 (43) 1999 (37) 2000 (36) 2001 (43) 2002 (27) 2003 (30) 2004 (29) 2005 (47) 2006 (49) 2007 (46) 2008 (29) 2009 (31) 2010 (47) 2011 (52) 2012 (73) 2013 (64) 2014 (56) 2015 (54) 2016 (59) 2017 (58) 2018 (34) 2019 (7)
Publication types (Num. hits)
article(1073)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 1073 publication records. Showing 1073 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Gemma Robles Reduced Routley-Meyer semantics for the logics characterized by natural implicative expansions of Kleene's strong 3-valued matrix. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide, Yoni Zohar Yet another paradefinite logic: The role of conflation1. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Luka Mikec, Fedor Pakhomov, Mladen Vukovic Complexity of the interpretability logic IL. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ruan V. B. Carvalho, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz Propositional intuitionistic multiple-conclusion calculus via proof graphs. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Juliette Kennedy, Ruy J. G. B. de Queiroz, Alexandra Silva 0001, Mehrnoosh Sadrzadeh 24th Workshop on Logic, Language, Information and Computation (WoLLIC 2017). Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mikhail N. Rybakov, Dmitry Shkatov Complexity of finite-variable fragments of propositional modal logics of symmetric frames. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Philippe Balbiani, Çigdem Gencer, Zafer Özdemir Two decision problems in Contact Logics. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Lidia Sánchez-González, Laura Fernández-Robles, Manuel Castejón Limas, Javier Alfonso-Cendón, Hilde Pérez, Héctor Quintián, Emilio Corchado Use of classifiers and recursive feature elimination to assess boar sperm viability. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Chrysafis Hartonas Stone duality for lattice expansions. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Miguel A. Molina-Cabello, Ezequiel López-Rubio, Rafael M. Luque-Baena, Enrique Domínguez, Esteban J. Palomo Foreground object detection for video surveillance by fuzzy logic based estimation of pixel illumination states. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1 Erratum. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Aggeliki Chalki, Costas D. Koutras, Yorgos Zikos A quick guided tour to the modal logic S4.2. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Grigory K. Olkhovikov Justification announcements in discrete time. Part I: Completeness results. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ramon Jansana, Hernán Javier San Martín On Kalman's functor for bounded hemi-implicative semilattices and hemi-implicative lattices. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Aldo V. Figallo, Inés Pascual, Gustavo Pelaitay A topological duality for tense $$\boldsymbol{LM_n}$$-algebras and applications1. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Aleksandra Grzelak, Dorota Leszczynska-Jasion Automatic proof generation in an axiomatic system for $$\mathsf{CPL}$$ by means of the method of Socratic proofs. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1 Editorial: Special issue SOCO 2016. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Vatan Karakaya, Müzeyyen Ertürk Approaches of linear operators in the intuitionistic fuzzy 2-Banach spaces. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Shawn Standefer Trees for E. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Athanassios Tzouvaras Propositional superposition logic. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mohammad Ardeshir, Zahra Ghafouri Compactness, colocatedness, measurability and ED. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1David Ellerman The quantum logic of direct-sumdecompositions: the dual to the quantum logic of subspaces. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andrei Horvat Marc, Levente Fuksz, Petrica C. Pop, Daniela Danciulescu A decomposition-based method for solving the clustered vehicle routing problem. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Slawomir Kost Projective unification in transitive modal logics. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Juan Manuel Cornejo, Hernán Javier San Martín A categorical equivalence between semi-Heyting algebras and centered semi-Nelson algebras. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Szymon Wojciechowski A comparison of classification strategies in rule-based classifiers. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Maryam Abiri, Morteza Moniri, Mostafa Zaare From forcing to satisfaction in Kripke models of intuitionistic predicate logic. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gerald Berger, Lev D. Beklemishev, Hans Tompits A many-sorted variant of Japaridze's polymodal provability logic. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Aitor Moreno-Fernandez-de-Leceta, José Manuel López-Guede, Leire Ezquerro Insagurbe, Nora Ruiz de Arbulo, Manuel Graña A novel methodology for clinical semantic annotations assessment. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pawel Pawlowski Proof systems for BAT consequence relations. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Juan Climent Vidal, Enric Cosme-Llópez When are profinite many-sorted algebras retracts of ultraproducts of finite many-sorted algebras? Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Anna Burduk, Wojciech Bozejko, Jaroslaw Pempera, Kamil Musial On the simulated annealing adaptation for tasks transportation optimization. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ivan Chajda, Davide Fazio, Antonio Ledda On the structure theory of Łukasiewicz near semirings. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1J. A. Rincon, Vicente Julián, Carlos Carrascosa, Ângelo Costa, Paulo Novais Detecting emotions through non-invasive wearables. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andrey Kudinov On neighbourhood product of some Horn axiomatizable logics. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Olivier A. Heubo-Kwegna, Celestin Lele, Sélestin Ndjeya, Jean B. Nganou BL-rings. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Fermín Segovia, J. M. Górriz, Javier Ramírez 0001, Francisco Jesús Martínez-Murcia, Marcelo García-Pérez Using deep neural networks along with dimensionality reduction techniques to assist the diagnosis of neurodegenerative disorders. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Roland Sh. Omanadze Some structural properties of quasi-degrees. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mikhail N. Rybakov, Dmitry Shkatov Complexity and expressivity of propositional dynamic logics with finitely many variables. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Conden Chao, Payam Seraji Gödel's second incompleteness theorem for Σ n -definable theories. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sandra Alves, Besik Dundua, Mário Florido, Temur Kutsia Pattern-based calculi with finitary matching. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Chrysafis Hartonas Order-dual relational semantics for non-distributive propositional logics. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mario Essert, Ivana Kuzmanovic, Ivan Vazler, Tihomir Zilic Theory of M-system. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Walter Alexandre Carnielli, Gabriele Pulcini Cut-elimination and deductive polarization in complementary classical logic. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Darllan Conceição Pinto, Hugo Luiz Mariano Algebraizable logics and a functorial encoding of its morphisms. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Umer Liqat, Zorana Bankovic, Pedro López-García 0001, Manuel V. Hermenegildo An evolutionary scheduling approach for trading-off accuracy vs. verifiable energy in multicore processors. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1David Álvarez, Ramón Ángel Fernández Díaz, Lidia Sánchez-González, José-Manuel Alija-Pérez Handwritten digit recognition using neural networks and dynamic zoning with stroke-based descriptors. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mostafa Zaare Extensions of Kripke models. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Felicidad Aguado, Pablo Ascariz, Pedro Cabalar, Gilberto Pérez, Concepción Vidal Verification for ASP denotational semantics: A case study using the PVS theorem prover. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Davide Carneiro, Paulo Novais, Nuno Sousa, José Miguel Pêgo, José Neves 0001 Mouse dynamics correlates to student behaviour in computer-based exams. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira On the identity type as the type of computational paths. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andreas B. M. Brunner, Hugo L. Mariano, Samuel G. Da Silva Categorial forms of the Axiom of Choice. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gualberto Asencio Cortés, Francisco Martínez-Álvarez, A. Morales-Esteban, Jorge Reyes, Alicia Troncoso Lora Using principal component analysis to improve earthquake magnitude prediction in Japan. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1João Rasga, Cristina Sernadas, Paulo Mateus, Amílcar Sernadas Decision and optimization problems in the unreliable-circuit logic. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jouko Väänänen, Ruy J. G. B. de Queiroz, Mauricio Javier Osorio Galindo, Claudia Zepeda Cortés, José R. Arrazola Ramírez 23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016). Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Enaitz Ezpeleta, Urko Zurutuza, José María Gómez Hidalgo A study of the personalization of spam content using Facebook public information. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Julio Michael Stern Continuous versions of Haack's puzzles: equilibria, eigen-states and ontologies. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1V. Gayoso Martínez, Luis Hernández Encinas, Agustín Martín Muñoz, M. A. Álvarez Mariño, D. Arroyo Guardeño A comparative study of three Spanish eGoverment smart cards. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1José Gaviria de la Puerta, Borja Sanz Using Dalvik opcodes for malware detection on android. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1José Luis Castiglioni, Rodolfo Cristian Ertola Biraben Modal operators for meet-complemented lattices. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Eduardo Alejandro Barrio, Federico Matias Pailos, Damián Enrique Szmuc A paraconsistent route to semantic closure. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rafal Kozik, Michal Choras, Witold Holubowicz Packets tokenization methods for web layer cyber security. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Julio Michael Stern, Rafael Izbicki, Luís Gustavo Esteves, Rafael Bassi Stern Logically-consistent hypothesis testing and the hexagon of oppositions. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Raúl Sánchez, Álvaro Herrero, Emilio Corchado Clustering extension of MOVICAB-IDS to distinguish intrusions in flow-based data. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Noemí Lubomirsky, Hernán Javier San Martín, W. J. Zuluaga Botero Relatively compatible operations in BCK-algebras and some related algebras. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Antonio Bucciarelli, Delia Kesner, Daniel Ventura Non-idempotent intersection types for the Lambda-Calculus. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gilda Ferreira η-conversions of IPC implemented in atomic F. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Álvaro Herrero, Bruno Baruque, Javier Sedano, Héctor Quintián, Emilio Corchado Editorial: Special Issue CISIS15-IGPL. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luka Mikec, Tin Perkov, Mladen Vukovic Decidability of interpretability logics ILM0 and ILW. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Fatemeh Shirmohammadzadeh Maleki, Dick De Jongh Weak subintuitionistic logics. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Steffen Lewitzka Epistemic extensions of combined classical and intuitionistic propositional logic. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Víctor Berrocal-Plaza, Miguel A. Vega-Rodríguez, Juan M. Sánchez-Pérez A fine-grained parallel approach for the registration areas optimization. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Iskander Sánchez-Rola, Xabier Ugarte-Pedrero, Igor Santos, Pablo García Bringas The web is watching you: A comprehensive review of web-tracking techniques and countermeasures. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dragan Simic, Vladimir Ilin, Vasa Svircevic, Svetlana Simic A hybrid clustering and ranking method for best positioned logistics distribution centre in Balkan Peninsula. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rafael R. Testa, Marcelo E. Coniglio, Márcio M. Ribeiro AGM-like paraconsistent belief change. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mohamed Khaled The free non-commutative cylindric algebras are not atomic. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Khoa Nguyen, Dat Tran, Wanli Ma, Dharmendra Sharma Decision tree algorithms for image data type identification. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ángel Arroyo, Álvaro Herrero, Emilio Corchado, Verónica Tricio A hybrid intelligent system for the analysis of atmospheric pollution: a case study in two European regions. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Samuel G. Da Silva, Valeria de Paiva Dialectical categories, cardinalities of the continuum and combinatorics of ideals. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Leandro Antonio Pasa, José Alfredo F. Costa, Marcial Guerra de Medeiros An ensemble algorithm for Kohonen self-organizing map with different sizes. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mohammad Ardeshir, Zahra Ghafouri The principle of open induction and Specker sequences. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Timm Lampert Minimizing disjunctive normal forms of pure first-order logic. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Eslam Hussein, Ahmed Ibrahem Hafez, Aboul Ella Hassanien, Aly A. Fahmy Nature inspired algorithms for solving the community detection problem. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Walter Carnielli, Edward Hermann Haeusler, Petrucio Viana Foreword. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sendoa Rojas-Lertxundi, J. Ramón Fernández-López, Sergio Huerta, Pablo García Bringas Motion capture systems for jump analysis. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Adam Wójtowicz, Daniel Wilusz Architecture for adaptable smart spaces oriented on user privacy. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ruben Urraca-Valle, Andrés Sanz-García, Julio Fernández-Ceniceros, Alpha V. Pernía-Espinoza, Francisco J. Martínez de Pisón Ascacibar Improving hotel room demand forecasting with a hybrid GA-SVR methodology based on skewed data transformation, feature selection and parsimony tuning. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mauricio Osorio 0001, José Abel Castellanos Joo Equivalence among RC-type paraconsistent logics. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Arnon Avron, Jean-Yves Béziau Self-extensional three-valued paraconsistent logics have no implication. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kyohei Yokomizo A separable axiomatization of the Gabbay-de Jongh logics. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Décio Krause Descriptions in quantum mechanics. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pablo García Bringas, Igor Santos Grueiro, Enrique Onieva, Eneko Osaba, Héctor Quintián, Emilio Corchado Editorial: Special Issue HAIS15-IGPL. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Massimiliano Carrara, Daniele Chiffi, Ciro De Florio Assertion and hypothesis: a logical framework for their opposition relations. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1David Ellerman Logical information theory: new logical foundations for information theory. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Fan Yang 0004 Modal dependence logics: axiomatizations and model-theoretic properties. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Javier Sedano, Silvia González, Camelia Chira, Álvaro Herrero, Emilio Corchado, José Ramón Villar Key features for the characterization of Android malware families. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Aldo Figallo Orellano, Alicia Ziliani, Martín Figallo Symmetric operators on modal pseudocomplemented De Morgan algebras. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang 0002 A complete logic for Database Abstract State Machines1. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Naosuke Matsuda Cut-free sequent calculi for logics characterized by finite linear Kripke frames. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Grigoriy V. Bokov Undecidable problems for propositional calculi with implication. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1073 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
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