Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "NCL"( http://dblp.L3S.de/Venues/NCL )

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

Publication years (Num. hits)
2022 (23)
Publication types (Num. hits)
inproceedings(22) proceedings(1)
Venues (Conferences, Journals, ...)
NCL(23)
Authors
Hitoshi Omori(2) Luis Estrada-González(2) Niccolò Veltri(2) Vít Puncochár(2) Agata Tomczyk(1) Alexander Bolotov(1) Alexandre Madeira(1) Ana Cruz(1) Andreas Kapsner(1) Andrzej Indrzejczak(1) Berta Grimau(1) Carlos Caleiro(1) Cheng-Syuan Wan(1) Clodomir Silva Lima Neto(1) Dmitry Zaitsev 0002(1) Dorota Leszczynska-Jasion(1) More (+10 of total 40)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 23 publication records. Showing 23 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Luis Estrada-González Dunn Semantics for Contra-Classical Logics. Search on Bibsonomy NCL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Clodomir Silva Lima Neto, Thiago Nascimento da Silva, Umberto Rivieccio Algebraizability of the Logic of Quasi-N4-Lattices. Search on Bibsonomy NCL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Satoru Niki, Hitoshi Omori Another Combination of Classical and Intuitionistic Conditionals. Search on Bibsonomy NCL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Andreas Kapsner, Hitoshi Omori Superconnexivity Reconsidered. Search on Bibsonomy NCL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Alexander Bolotov On the Expressive Power of the Normal Form for Branching-Time Temporal Logics. Search on Bibsonomy NCL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Guillaume Aucher A van Benthem Theorem for Atomic and Molecular Logics. Search on Bibsonomy NCL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Pedro Filipe, Carlos Caleiro, Sérgio Marcelino Monadicity of Non-deterministic Logical Matrices is Undecidable. Search on Bibsonomy NCL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Masanobu Toyooka, Katsuhiko Sano Combining First-Order Classical and Intuitionistic Logic. Search on Bibsonomy NCL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Agata Tomczyk, Dorota Leszczynska-Jasion Decidability of Intuitionistic Sentential Logic with Identity via Sequent Calculus. Search on Bibsonomy NCL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Ana Cruz, Alexandre Madeira, Luís Soares Barbosa A Logic for Paraconsistent Transition Systems. Search on Bibsonomy NCL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Jirí Raclavský Puzzles of Existential Generalisation from Type-theoretic Perspective. Search on Bibsonomy NCL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Tarmo Uustalu, Niccolò Veltri, Cheng-Syuan Wan Proof Theory of Skew Non-Commutative MILL. Search on Bibsonomy NCL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Vít Puncochár, Berta Grimau Natural Deduction for Assertibility and Deniability. Search on Bibsonomy NCL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Sankha S. Basu, Sayantan Roy Negation-Free Definitions of Paraconsistency. Search on Bibsonomy NCL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Luis Estrada-González, Fernando Cano-Jorge Mortensen Logics. Search on Bibsonomy NCL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Yaroslav I. Petrukhin Normalisation for Some Infectious Logics and Their Relatives. Search on Bibsonomy NCL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Niccolò Veltri Normalization by Evaluation for the Lambek Calculus. Search on Bibsonomy NCL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Fabien Schang, George Englebretsen, José Martín Castro-Manzano The Forms of Categorical Proposition. Search on Bibsonomy NCL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Andrzej Indrzejczak, Michal Zawidzki (eds.) Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, Łódź, Poland, 14-18 March 2022. Search on Bibsonomy NCL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Nils Kürbis Bilateral Inversion Principles. Search on Bibsonomy NCL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Oleg Grigoriev 0001, Dmitry Zaitsev 0002 Cyclic Negations and Four-valuedness. Search on Bibsonomy NCL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Vít Puncochár, Igor Sedlár Routley Star in Information-Based Semantics. Search on Bibsonomy NCL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Guido Gherardi, Eugenio Orlandelli Non-Normal Super-Strict Implications. Search on Bibsonomy NCL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #23 of 23 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license