Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Bjørn Jespersen |
Two Tales of the Turnstile. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(2), pp. 511-530, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Roman Kuznets, Sonia Marin, Lutz Straßburger |
Justification Logic for Constructive Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(8), pp. 2313-2332, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Xavier Parent |
A Modal Characterisation of an Intuitionistic I/O Operation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(8), pp. 2349-2362, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Douglas Walton |
Using Distance in Argument Maps to Model Conditional Probative Relevance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(9), pp. 2433-2457, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv |
About the Unification Type of Fusions of Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(3), pp. 671-706, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Nissim Francez |
On the Role of Aristotle's Connexive Axioms in Non-connexive Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(3), pp. 659-670, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Dov M. Gabbay |
What is Negation in a System 2020? ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(7), pp. 1977-2034, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | John Woods 0001 |
Guest Editor's Remarks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(1), pp. 1-2, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Giovanni Siragusa, Livio Robaldo, Luigi Di Caro, Andrea Violato |
Textual Entailment for Cybersecurity: An Applicative Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(4), pp. 975-992, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Antonis Bikakis, Andrea Cohen, Wolfgang Dvorák, Giorgos Flouris, Simon Parsons |
Joint Attacks and Accrual in Argumentation Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(6), pp. 1437-1502, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Judit X. Madarász, Mike Stannett, Gergely Székely |
Groups of Worldview Transformations Implied by Isotropy of Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(3), pp. 809-876, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Laureano Luna |
Proving Cleanthes Wrong. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(3), pp. 707-736, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Dov M. Gabbay, Massimiliano Giacomin, Guillermo Ricardo Simari, Matthias Thimm |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(6), pp. 1335-1338, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Babatunde Opeoluwa Akinkunmi |
Events as Located Situations: Ontological Commitments in the Problem of Individuating Events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(3), pp. 877-909, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Katie Atkinson, Trevor J. M. Bench-Capon |
Value-based Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(6), pp. 1543-1588, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Massimiliano Carrara, Daniele Chiffi, Ciro De Florio |
Some Remarks on Assertion and Proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(2), pp. 321-328, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Afrodita Iorgulesc, Michael Kinyon |
Two Generalizations of Bounded Involutive Lattices and of Ortholattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(7), pp. 2173-2218, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Peter McBurney, Simon Parsons |
Argument Schemes and Dialogue Protocols: Doug Walton's Legacy in Artificial Intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(1), pp. 263-290, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Massimiliano Carrara, Andrea Strollo |
DLEAC and the Rejection Paradox. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(2), pp. 377-396, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Francesco Bellucci, Daniele Chiffi, Ahti-Veikko Pietarinen |
Beta Assertive Graphs: Proofs of Assertions with Quantification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(2), pp. 353-376, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Nissim Francez |
Bilateralism based on Corrective Denial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(2), pp. 497-510, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Ciro De Florio |
Reflections on Logics for Assertion and Denial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(2), pp. 453-468, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Ilya B. Shapirovsky |
Glivenko's Theorem, Finite Height, and Local Tabularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(8), pp. 2333-2348, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Andrew Aberdein |
Dialogue Types, Argumentation Schemes and Mathematical Practice: Douglas Walton and Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(1), pp. 159-182, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Jean-Marc Alliot, Marta Cialdea Mayer, Robert Demolombe, Martín Diéguez, Luis Fariñas del Cerro |
A Framework for Modelling Molecular Interaction Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(7), pp. 1917-1952, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Edson Bezerra, Giorgio Venturi |
Squeezing Arguments and the Plurality of Informal Notions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(7), pp. 1899-1916, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | John Woods |
How Paradox Fares in Inconsistency Robust Logic and Beyond: Computational and Naturalized Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(7), pp. 2119-2172, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Nils Kürbis |
Addenda: Note on 'Normalisation for Bilateral Classical Logic with some Philosophical Remarks'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(7), pp. 2257-2259, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Gemma Robles, José M. Méndez |
A 2 Set-up Routley Semantics for the 4-valued Logic PL4. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(10), pp. 2435-2446, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Alexander Bentkamp |
The Embedding Path Order for Lambda-Free Higher-Order Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(10), pp. 2447-2470, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Michal Fait, Giuseppe Primiero |
HTLC: Hyperintensional Typed Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(2), pp. 469-496, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Chris Reed 0001 |
The Waltonian Foundations of Argument Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(1), pp. 245-262, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | John Woods 0001 |
Douglas Walton: The Early Years. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(1), pp. 3-30, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Luciano H. Tamargo, Diego C. Martínez, Antonino Rotolo, Guido Governatori |
Time, Defeasible Logic and Belief Revision: Pathways to Legal Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(4), pp. 993-1022, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque |
Bisimulations for Intuitionistic Temporal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(8), pp. 2265-2286, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Jesse Heyninck, Christian Straßer |
A Comparative Study of Assumption-based Argumentative Approaches to Reasoning with Priorities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(3), pp. 737-808, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Ofer Arieli, AnneMarie Borg, Jesse Heyninck, Christian Straßer |
Logic-Based Approaches to Formal Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(6), pp. 1793-1898, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Katharina Stevens |
Argument is Moral. Using Walton's Dialectical Tools to Evaluate Argumentation from a Moral Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(1), pp. 137-158, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Dan Constantin Radulescu |
Variation and Pattern in the 3-term Syllogisms and the Biliteral Sorites of Types Barbara, Darapti and Darii. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(7), pp. 1953-1976, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Anatolij Dvurecenskij, Omid Zahiri |
Weak Pseudo EMV-algebras. II: Representation and Subvarieties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(10), pp. 2401-2434, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Gabriela Ferraro, Ho-Pun Lam |
NLP Techniques for Normative Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(4), pp. 941-974, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Anne Ruth Mackor |
Different Ways of Being Naked. A Scenario Approach to the Naked Statistical Evidence Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(9), pp. 2407-2433, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Ronald de Haan, Iris van de Pol |
On the Computational Complexity of Model Checking for Dynamic Epistemic Logic with S5 Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(3), pp. 621-658, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Anatolij Dvurecenskij, Omid Zahiri |
Weak Pseudo EMV-algebras. I: Basic Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(10), pp. 2365-2400, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Gemma Robles |
The Class of all 3-valued Implicative Expansions of Kleene?s Strong Logic Containing Anderson and Belnap's First Degree Entailment Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(7), pp. 2035-2072, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Vittorio Morato |
Assertions of Counterfactuals and Epistemic Irresponsibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(2), pp. 577-592, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Claudette Cayrol, Andrea Cohen, Marie-Christine Lagasquie-Schiex |
Higher-Order Interactions (Bipolar or not) in Abstract Argumentation: A State of the Art. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(6), pp. 1339-1436, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Daniele Chiffi |
Asserting Boo! and Horray! Pragmatic Logic for Assertion and Moral Attitudes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(2), pp. 397-422, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Grigoris Antoniou, George Baryannis, Sotiris Batsakis, Guido Governatori, Mohammad Badiul Islam, Qing Liu, Livio Robaldo, Giovanni Siragusa, Ilias Tachmazidis |
Large-scale Legal Reasoning with Rules and Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(4), pp. 911-940, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Naoya Onizawa, Ren Arakawa, Takahiro Hanyu |
Design of an MTJ-based Nonvolatile Multi-context Ternary Content-addressable Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(1), pp. 89-109, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Melvin Fitting |
Bilattice Basics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(6), pp. 973-1016, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Annemarie Borg |
Assumptive Sequent-Based Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(3), pp. 227-294, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | John Grant |
Measuring Inconsistency in Finitary First-order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(4), pp. 403-426, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Manuel García-Carpintero |
Referential Indeterminacy in Fiction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(2), pp. 177-190, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Dov M. Gabbay |
Book Symposium on Woods' Truth in Fiction: Editorial Remarks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(2), pp. 111-112, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Øystein Linnebo, Stewart Shaprio |
Potentiality and Indeterminacy in Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(6), pp. 1199-1220, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Yaroslav Shramko |
First-degree Entailment and Binary Consequence Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(6), pp. 1221-1240, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Krzysztof Podlaski |
Reversible Synthesis in Walsh-Hadamard Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(5), pp. 1275-1294, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Keigo Taya, Yasushi Yuminaka, Yosuke Iijama |
Statistical Waveform Evaluation Method for Adaptive PAM-4 Equalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(5), pp. 1087-1100, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Robert Goldblatt |
Morphisims and Duality for Polarities and Lattices with Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(6), pp. 1017-1070, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Naoya Onizawa, Duckgyu Shin, Takahiro Hanyu |
Fast Hardware-based Learning Algorithm for Binarized Perceptrons using CMOS Invertible Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(1), pp. 41-58, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Dimiter Vakarelov |
Point-free Theories of Space and Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(6), pp. 1421-1320, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Anatoly G. Kusraev, Semen S. Kutateladze |
Some Applications of Boolean Valued Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(4), pp. 427-458, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | John T. Baldwin 0001 |
The Reasonable Effectiveness of Model Theory in Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(6), pp. 943-972, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Dov M. Gabbay, Gadi Rozenberg |
Introducing Abstract Argumentation with Many Lives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(3), pp. 295-336, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Vincent Wang |
Concept Functionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(5), pp. 725-744, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Lloyd Humberstone |
Twins in Logic - Identical and Otherwise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(6), pp. 1071-1114, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Afrodita Iorgulesc, Michael Kinyon |
Putting Bounded Involutive Lattices, De Morgan Algebras, Ortholattices and Boolean Algebras on the "Map". ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(5), pp. 1169-1214, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Jessica Leech |
Relative Necessity Extended. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(6), pp. 1177-1198, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Caroline Barbieri, Claudio Moraga |
Cycles-based and Transformation-based Synthesis of Ternary Reversibel Circuits. Aspects of Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(5), pp. 1295-1310, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Milena Stankovic, Claudio Moraga, Radomir S. Stankovic |
Spectral Invariance Operations for the Construction of Ternary Bent Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(5), pp. 1241-1274, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Guillaume Aucher |
Towards Universal Logic: Gaggle Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(6), pp. 875-942, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Michael Moortgat, Mehrnoosh Sadrzadeh, Gijs Wijnholds |
A Frobenius Algebraic Analysis for Parasitic Gaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(5), pp. 823-852, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Martha Lewis |
Towards Logical Negation for Compositional Distributional Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(5), pp. 771-794, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Umberto Rivieccio |
Fragments of Quasi-Nelson: Two Negations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(4), pp. 499-560, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | John Woods 0001 |
Truth in Fiction: Rethinking its Logic: A Précis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(2), pp. 113-126, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Vanessa Kosoy, Alexander Appel |
Optimal Polynomial-time Estimators: A Bayesian Notion of Approximation Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(4), pp. 561-675, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Andrzej Szalas |
A Paraconsistent ASP-Like Language with Tractable Model Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(3), pp. 361-389, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Vilém Novák |
Intermediate Quantifiers in Partial Fuzzy Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(5), pp. 1215-1240, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Michel-Antoine Xhignesse |
Inheriting the World. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(2), pp. 163-170, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Martha Lewis, Dan Marsden, Mehrnoosh Sadrzadeh |
Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(5), pp. 677-682, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | George Georgescu, Léonard Kwuida, Claudia Muresan |
Functorial Properties of the Reticulation of a Universal Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(5), pp. 1123-1168, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Will Boney |
The Γ-ultraproduct and Averageable Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(4), pp. 459-498, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Bob Coecke, Konstantinos Meichanetzidis |
Meaning Updating of Density Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(5), pp. 745-770, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Norihiro Kamide |
Some Properties for First-order Nelsonian Paraconsistent Quantum Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(1), pp. 59-88, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Corina Strößner |
Integrating Conceptual Spaces in Frames. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(5), pp. 683-706, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Makoto Kato, Naoya Onizawa, Takahiro Hanyu |
Design Automation of Invertible Logic Circuit from a Standard HDL Description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(5), pp. 1311-1333, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Bryson Brown |
Speaking of Fiction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(2), pp. 145-162, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Rupert McCallum |
Extending Ideas of Tait for Incorporating Higher-order Parameters in Schemes of Reflection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(4), pp. 391-402, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Giuseppe Greco 0001, Fei Liang, Michael Moortgat, Alessandra Palmigiano, Apostolos Tzimoulis |
Vector Spaces as Kripke Frames. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(5), pp. 853-873, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Yasushi Yuminaka, Natsuki Sato, Takahito Chigira, Kohei Toyoda, Yosuke Iijima |
PAM-4 Signal Transmitter using FPGA and DAC for Serial-link Test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(1), pp. 29-40, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | John Woods 0001 |
Responses to Essays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(2), pp. 191-226, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Giorgi Japaridze |
Fundamentals of Computability Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(6), pp. 1115-1176, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Daniel Abraham Romano |
Hilbert Algebras in a Non-Classical Framework: Hilbert Algebras with Apartness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(3), pp. 337-360, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Norihiro Kamide |
Cut-elimination, Completeness and Craig Interpolation Theorems for Gurevich's Extended First-order Intuitionistic Logic with Strong Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(5), pp. 1101-1122, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Adriana D. Correia, Michael Moortgat, Henk T. C. Stoof |
Density Matrices with Metric for Derivational Ambiguity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(5), pp. 795-824, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Kevin Jin, Tahsin Saffat, Justin Morgan, Marek A. Perkowski |
A Polarity-based Approach for Optimization of Multivalued Quantum Multiplexers with Arbitrary Single-qubit Target Gates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(1), pp. 5-28, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | John Woods 0001 |
Logic's Naturalistic Character. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(6), pp. 1321-1378, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Martin Lukac |
Editorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(5), pp. 1083-1086, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Dominic McIver Lopes |
Sherlock is Law Abiding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(2), pp. 171-176, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|