| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Bjørn Jespersen |
Two Tales of the Turnstile.  |
FLAP  |
2021 |
DBLP BibTeX RDF |
|
| 1 | Roman Kuznets, Sonia Marin, Lutz Straßburger |
Justification Logic for Constructive Modal Logic. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Xavier Parent |
A Modal Characterisation of an Intuitionistic I/O Operation. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Douglas Walton |
Using Distance in Argument Maps to Model Conditional Probative Relevance. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv |
About the Unification Type of Fusions of Modal Logic. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Nissim Francez |
On the Role of Aristotle's Connexive Axioms in Non-connexive Logics. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Dov M. Gabbay |
What is Negation in a System 2020? |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | John Woods 0001 |
Guest Editor's Remarks. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Giovanni Siragusa, Livio Robaldo, Luigi Di Caro, Andrea Violato |
Textual Entailment for Cybersecurity: An Applicative Case. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Antonis Bikakis, Andrea Cohen, Wolfgang Dvorák, Giorgos Flouris, Simon Parsons |
Joint Attacks and Accrual in Argumentation Frameworks. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Judit X. Madarász, Mike Stannett, Gergely Székely |
Groups of Worldview Transformations Implied by Isotropy of Space. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Laureano Luna |
Proving Cleanthes Wrong. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Dov M. Gabbay, Massimiliano Giacomin, Guillermo Ricardo Simari, Matthias Thimm |
Preface. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Babatunde Opeoluwa Akinkunmi |
Events as Located Situations: Ontological Commitments in the Problem of Individuating Events. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Katie Atkinson, Trevor J. M. Bench-Capon |
Value-based Argumentation. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Massimiliano Carrara, Daniele Chiffi, Ciro De Florio |
Some Remarks on Assertion and Proof. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Afrodita Iorgulesc, Michael Kinyon |
Two Generalizations of Bounded Involutive Lattices and of Ortholattices. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Peter McBurney, Simon Parsons |
Argument Schemes and Dialogue Protocols: Doug Walton's Legacy in Artificial Intelligence. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Massimiliano Carrara, Andrea Strollo |
DLEAC and the Rejection Paradox. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Francesco Bellucci, Daniele Chiffi, Ahti-Veikko Pietarinen |
Beta Assertive Graphs: Proofs of Assertions with Quantification. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Nissim Francez |
Bilateralism based on Corrective Denial. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Ciro De Florio |
Reflections on Logics for Assertion and Denial. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Ilya B. Shapirovsky |
Glivenko's Theorem, Finite Height, and Local Tabularity. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Andrew Aberdein |
Dialogue Types, Argumentation Schemes and Mathematical Practice: Douglas Walton and Mathematics. |
FLAP |
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. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Edson Bezerra, Giorgio Venturi |
Squeezing Arguments and the Plurality of Informal Notions. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | John Woods |
How Paradox Fares in Inconsistency Robust Logic and Beyond: Computational and Naturalized Approaches. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Nils Kürbis |
Addenda: Note on 'Normalisation for Bilateral Classical Logic with some Philosophical Remarks'. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Gemma Robles, José M. Méndez |
A 2 Set-up Routley Semantics for the 4-valued Logic PL4. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Alexander Bentkamp |
The Embedding Path Order for Lambda-Free Higher-Order Terms. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Michal Fait, Giuseppe Primiero |
HTLC: Hyperintensional Typed Lambda Calculus. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Chris Reed 0001 |
The Waltonian Foundations of Argument Technology. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | John Woods 0001 |
Douglas Walton: The Early Years. |
FLAP |
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. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque |
Bisimulations for Intuitionistic Temporal Logics. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Jesse Heyninck, Christian Straßer |
A Comparative Study of Assumption-based Argumentative Approaches to Reasoning with Priorities. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Ofer Arieli, AnneMarie Borg, Jesse Heyninck, Christian Straßer |
Logic-Based Approaches to Formal Argumentation. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Katharina Stevens |
Argument is Moral. Using Walton's Dialectical Tools to Evaluate Argumentation from a Moral Perspective. |
FLAP |
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. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Anatolij Dvurecenskij, Omid Zahiri |
Weak Pseudo EMV-algebras. II: Representation and Subvarieties. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Gabriela Ferraro, Ho-Pun Lam |
NLP Techniques for Normative Mining. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Anne Ruth Mackor |
Different Ways of Being Naked. A Scenario Approach to the Naked Statistical Evidence Problem. |
FLAP |
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. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Anatolij Dvurecenskij, Omid Zahiri |
Weak Pseudo EMV-algebras. I: Basic Properties. |
FLAP |
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. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Vittorio Morato |
Assertions of Counterfactuals and Epistemic Irresponsibility. |
FLAP |
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. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Daniele Chiffi |
Asserting Boo! and Horray! Pragmatic Logic for Assertion and Moral Attitudes. |
FLAP |
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. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Naoya Onizawa, Ren Arakawa, Takahiro Hanyu |
Design of an MTJ-based Nonvolatile Multi-context Ternary Content-addressable Memory. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Melvin Fitting |
Bilattice Basics. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Annemarie Borg |
Assumptive Sequent-Based Argumentation. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | John Grant |
Measuring Inconsistency in Finitary First-order Logic. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Manuel García-Carpintero |
Referential Indeterminacy in Fiction. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Dov M. Gabbay |
Book Symposium on Woods' Truth in Fiction: Editorial Remarks. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Øystein Linnebo, Stewart Shaprio |
Potentiality and Indeterminacy in Mathematics. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Yaroslav Shramko |
First-degree Entailment and Binary Consequence Systems. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Krzysztof Podlaski |
Reversible Synthesis in Walsh-Hadamard Domain. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Keigo Taya, Yasushi Yuminaka, Yosuke Iijama |
Statistical Waveform Evaluation Method for Adaptive PAM-4 Equalization. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Robert Goldblatt |
Morphisims and Duality for Polarities and Lattices with Operators. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Naoya Onizawa, Duckgyu Shin, Takahiro Hanyu |
Fast Hardware-based Learning Algorithm for Binarized Perceptrons using CMOS Invertible Logic. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Dimiter Vakarelov |
Point-free Theories of Space and Time. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Anatoly G. Kusraev, Semen S. Kutateladze |
Some Applications of Boolean Valued Analysis. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | John T. Baldwin 0001 |
The Reasonable Effectiveness of Model Theory in Mathematics. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Dov M. Gabbay, Gadi Rozenberg |
Introducing Abstract Argumentation with Many Lives. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Vincent Wang |
Concept Functionals. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Lloyd Humberstone |
Twins in Logic - Identical and Otherwise. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Afrodita Iorgulesc, Michael Kinyon |
Putting Bounded Involutive Lattices, De Morgan Algebras, Ortholattices and Boolean Algebras on the "Map". |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Jessica Leech |
Relative Necessity Extended. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Caroline Barbieri, Claudio Moraga |
Cycles-based and Transformation-based Synthesis of Ternary Reversibel Circuits. Aspects of Complexity. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Milena Stankovic, Claudio Moraga, Radomir S. Stankovic |
Spectral Invariance Operations for the Construction of Ternary Bent Functions. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Guillaume Aucher |
Towards Universal Logic: Gaggle Logics. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Michael Moortgat, Mehrnoosh Sadrzadeh, Gijs Wijnholds |
A Frobenius Algebraic Analysis for Parasitic Gaps. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Martha Lewis |
Towards Logical Negation for Compositional Distributional Semantics. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Umberto Rivieccio |
Fragments of Quasi-Nelson: Two Negations. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | John Woods 0001 |
Truth in Fiction: Rethinking its Logic: A Précis. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Vanessa Kosoy, Alexander Appel |
Optimal Polynomial-time Estimators: A Bayesian Notion of Approximation Algorithm. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Andrzej Szalas |
A Paraconsistent ASP-Like Language with Tractable Model Generation. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Vilém Novák |
Intermediate Quantifiers in Partial Fuzzy Type Theory. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Michel-Antoine Xhignesse |
Inheriting the World. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Martha Lewis, Dan Marsden, Mehrnoosh Sadrzadeh |
Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Science. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | George Georgescu, Léonard Kwuida, Claudia Muresan |
Functorial Properties of the Reticulation of a Universal Algebra. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Will Boney |
The Γ-ultraproduct and Averageable Classes. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Bob Coecke, Konstantinos Meichanetzidis |
Meaning Updating of Density Matrices. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Norihiro Kamide |
Some Properties for First-order Nelsonian Paraconsistent Quantum Logic. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Corina Strößner |
Integrating Conceptual Spaces in Frames. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Makoto Kato, Naoya Onizawa, Takahiro Hanyu |
Design Automation of Invertible Logic Circuit from a Standard HDL Description. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Bryson Brown |
Speaking of Fiction. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Rupert McCallum |
Extending Ideas of Tait for Incorporating Higher-order Parameters in Schemes of Reflection. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe Greco 0001, Fei Liang, Michael Moortgat, Alessandra Palmigiano, Apostolos Tzimoulis |
Vector Spaces as Kripke Frames. |
FLAP |
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. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | John Woods 0001 |
Responses to Essays. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Giorgi Japaridze |
Fundamentals of Computability Logic. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Daniel Abraham Romano |
Hilbert Algebras in a Non-Classical Framework: Hilbert Algebras with Apartness. |
FLAP |
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. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Adriana D. Correia, Michael Moortgat, Henk T. C. Stoof |
Density Matrices with Metric for Derivational Ambiguity. |
FLAP |
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. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | John Woods 0001 |
Logic's Naturalistic Character. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Martin Lukac |
Editorial. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Dominic McIver Lopes |
Sherlock is Law Abiding. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license