External Links

    Journal: FLAP

    Volume 8, Issue 9

    2363 -- 2372Michal Araszkiewicz, Tomasz Zurek. Preface
    2373 -- 2406Federico Costantini, Fausto Galvan, Marco Alvise de Stefani, Sebastiano Battiato. Assessing "Information Quality" in IoT Forensics: Theoretical Framework and Model Implementation
    2407 -- 2433Anne Ruth Mackor. Different Ways of Being Naked. A Scenario Approach to the Naked Statistical Evidence Problem
    2433 -- 2457Douglas Walton. Using Distance in Argument Maps to Model Conditional Probative Relevance

    Volume 8, Issue 8

    2261 -- 2264Valeria de Paiva, Sergei Artemov. Preface to Intiutionistic Modal Logic 2017
    2265 -- 2286Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández Duque. Bisimulations for Intuitionistic Temporal Logics
    2287 -- 2312G. A. Kavvos. Intensionality, Intensional Recursion and the Gödel-Löb Axiom
    2313 -- 2332Roman Kuznets, Sonia Marin, Lutz Straßburger. Justification Logic for Constructive Modal Logic
    2333 -- 2348Ilya B. Shapirovsky. Glivenko's Theorem, Finite Height, and Local Tabularity
    2349 -- 2362Xavier Parent. A Modal Characterisation of an Intuitionistic I/O Operation

    Volume 8, Issue 7

    1899 -- 1916Edson Bezerra, Giorgio Venturi. Squeezing Arguments and the Plurality of Informal Notions
    1917 -- 1952Jean-Marc Alliot, Marta Cialdea Mayer, Robert Demolombe, Martín Diéguez, Luis Fariñas del Cerro. A Framework for Modelling Molecular Interaction Maps
    1953 -- 1976Dan Constantin Radulescu. Variation and Pattern in the 3-term Syllogisms and the Biliteral Sorites of Types Barbara, Darapti and Darii
    1977 -- 2034Dov M. Gabbay. What is Negation in a System 2020?
    2035 -- 2072Gemma Robles. The Class of all 3-valued Implicative Expansions of Kleene?s Strong Logic Containing Anderson and Belnap's First Degree Entailment Logic
    2073 -- 2118Albert Visser. Enayat Theories
    2119 -- 2172John Woods. How Paradox Fares in Inconsistency Robust Logic and Beyond: Computational and Naturalized Approaches
    2173 -- 2218Afrodita Iorgulesc, Michael Kinyon. Two Generalizations of Bounded Involutive Lattices and of Ortholattices
    2219 -- 2234Andrew David Irvine. A Science Like Any Other
    2235 -- 2256Annalisa Conversano. Groups Definable in o-minimal Structures: Various Properties and a Diagram
    2257 -- 2259Nils Kürbis. Addenda: Note on 'Normalisation for Bilateral Classical Logic with some Philosophical Remarks'

    Volume 8, Issue 6

    1335 -- 1338Dov M. Gabbay, Massimiliano Giacomin, Guillermo Ricardo Simari, Matthias Thimm. Preface
    1339 -- 1436Claudette Cayrol, Andrea Cohen, Marie-Christine Lagasquie-Schiex. Higher-Order Interactions (Bipolar or not) in Abstract Argumentation: A State of the Art
    1437 -- 1502Antonis Bikakis, Andrea Cohen, Wolfgang Dvorák, Giorgos Flouris, Simon Parsons. Joint Attacks and Accrual in Argumentation Frameworks
    1503 -- 1542Dorothea Baumeister, Daniel Neugebauer, Jörg Rothe. Collective Acceptability in Abstract Argumentation
    1543 -- 1588Katie Atkinson, Trevor J. M. Bench-Capon. Value-based Argumentation
    1589 -- 1622Stefano Bistarelli, Francesco Santini 0001. Weighted Argumentation
    1623 -- 1678Ringo Baumann, Sylvie Doutre, Jean-Guy Mailly, Johannes Peter Wallner. Enforcement in Formal Argumentation
    1679 -- 1748Guido Governatori, Michael J. Maher, Francesco Olivieri. Strategic Argumentation
    1749 -- 1792Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Gerardo I. Simari, Guillermo Ricardo Simari. On the Incremental Computation of Semantics in Dynamic Argumentation
    1793 -- 1898Ofer Arieli, Annemarie Borg, Jesse Heyninck, Christian Straßer. Logic-Based Approaches to Formal Argumentation

    Volume 8, Issue 5

    1083 -- 1086Martin Lukac. Editorial
    1087 -- 1100Keigo Taya, Yasushi Yuminaka, Yosuke Iijama. Statistical Waveform Evaluation Method for Adaptive PAM-4 Equalization
    1101 -- 1122Norihiro Kamide. Cut-elimination, Completeness and Craig Interpolation Theorems for Gurevich's Extended First-order Intuitionistic Logic with Strong Negation
    1123 -- 1168George Georgescu, Leonard Kwuid, Claudia Muresan. Functorial Properties of the Reticulation of a Universal Algebra
    1169 -- 1214Afrodita Iorgulesc, Michael Kinyon. Putting Bounded Involutive Lattices, De Morgan Algebras, Ortholattices and Boolean Algebras on the "Map"
    1215 -- 1240Vilém Novák. Intermediate Quantifiers in Partial Fuzzy Type Theory
    1241 -- 1274Milena Stankovic, Claudio Moraga, Radomir S. Stankovic. Spectral Invariance Operations for the Construction of Ternary Bent Functions
    1275 -- 1294Krzysztof Podlaski. Reversible Synthesis in Walsh-Hadamard Domain
    1295 -- 1310Caroline Barbieri, Claudio Moraga. Cycles-based and Transformation-based Synthesis of Ternary Reversibel Circuits. Aspects of Complexity
    1311 -- 1333Makoto Kato, Naoya Onizawa, Takahiro Hanyu. Design Automation of Invertible Logic Circuit from a Standard HDL Description

    Volume 8, Issue 4

    911 -- 940Grigoris 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
    941 -- 974Gabriela Ferraro, Ho-Pun Lam. NLP Techniques for Normative Mining
    975 -- 992Giovanni Siragusa, Livio Robaldo, Luigi Di Caro, Andrea Violato. Textual Entailment for Cybersecurity: An Applicative Case
    993 -- 1022Luciano H. Tamargo, Diego C. Martínez, Antonino Rotolo, Guido Governatori. Time, Defeasible Logic and Belief Revision: Pathways to Legal Dynamics
    1023 -- 1064Silvano Colombo Tosatto, Guido Governatori. Computational Complexity of Compliance and Conformance: Drawing a Line Between Theory and Practice
    1065 -- 1082Alessia Grassi, Mauro Vallati. An Exploratory Study on the Use of Artificial Intelligence to Initiate Legal Understanding for Business Development

    Volume 8, Issue 3

    621 -- 658Ronald de Haan, Iris van de Pol. On the Computational Complexity of Model Checking for Dynamic Epistemic Logic with S5 Models
    659 -- 670Nissim Francez. On the Role of Aristotle's Connexive Axioms in Non-connexive Logics
    671 -- 706Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv. About the Unification Type of Fusions of Modal Logic
    707 -- 736Laureano Luna. Proving Cleanthes Wrong
    737 -- 808Jesse Heyninck, Christian Straßer. A Comparative Study of Assumption-based Argumentative Approaches to Reasoning with Priorities
    809 -- 876Judit X. Madaráz, Mike Stannett, Gergely Székely. Groups of Worldview Transformations Implied by Isotropy of Space
    877 -- 909Babatunde Opeoluwa Akinkunmi. Events as Located Situations: Ontological Commitments in the Problem of Individuating Events

    Volume 8, Issue 2

    321 -- 328Massimiliano Carrara, Daniele Chiffi, Ciro De Florio. Some Remarks on Assertion and Proof
    329 -- 352Cristina Barés Gómez, Matthieu Fontaine. Defeasibility and Non-monotonicity in Dialogues
    353 -- 376Francesco Bellucci, Daniele Chiffi, Ahti-Veikko Pietarinen. Beta Assertive Graphs: Proofs of Assertions with Quantification
    377 -- 396Massimiliano Carrara, Andrea Strollo. DLEAC and the Rejection Paradox
    397 -- 422Daniele Chiffi. Asserting Boo! and Horray! Pragmatic Logic for Assertion and Moral Attitudes
    423 -- 452Marcello D'Agostino, Costanza Larese, Sanjay Modgil. Towards Depth-bounded Natural Deduction for Classical First-order Logic
    453 -- 468Ciro De Florio. Reflections on Logics for Assertion and Denial
    469 -- 496Michal Fait, Giuseppe Primiero. HTLC: Hyperintensional Typed Lambda Calculus
    497 -- 510Nissim Francez. Bilateralism based on Corrective Denial
    511 -- 530Bjørn Jespersen. Two Tales of the Turnstile
    531 -- 556Nils Kürbis. Normalisation for Bilateral Classical Logic with some Philosophical Remarks
    557 -- 576Jens Lemanski. Extended Syllogistics in Calculus CL
    577 -- 592Vittorio Morato. Assertions of Counterfactuals and Epistemic Irresponsibility
    593 -- 620Fabien Schang. A General Semantics for Logics of Affirmation and Negation

    Volume 8, Issue 10

    2365 -- 2400Anatolij Dvurecenskij, Omid Zahiri. Weak Pseudo EMV-algebras. I: Basic Properties
    2401 -- 2434Anatolij Dvurecenskij, Omid Zahiri. Weak Pseudo EMV-algebras. II: Representation and Subvarieties
    2435 -- 2446Gemma Robles, José M. Méndez. A 2 Set-up Routley Semantics for the 4-valued Logic PL4
    2447 -- 2470Alexander Bentkamp. The Embedding Path Order for Lambda-Free Higher-Order Terms
    2471 -- 2522Andrzej Wisniewski. Entailment, Transmission of Truth, and Minimality

    Volume 8, Issue 1

    1 -- 2John Woods 0001. Guest Editor's Remarks
    3 -- 30John Woods 0001. Douglas Walton: The Early Years
    31 -- 52Louise Cummings. Douglas Walton and the Covid-19 crisis
    53 -- 74Maurice Finocchiaro. Argumentation Schemes for Composition and Division Arguments: A Critique of Walton's Account
    115 -- 136Trudy Govier. Appealing to Ignorance? De-extinction and Accounts of a Fallacy
    137 -- 158Katharina Stevens. Argument is Moral. Using Walton's Dialectical Tools to Evaluate Argumentation from a Moral Perspective
    159 -- 182Andrew Aberdein. Dialogue Types, Argumentation Schemes and Mathematical Practice: Douglas Walton and Mathematics
    183 -- 194Harvey Siegel, John Biro. Walton on Argument, Arguments, and Argumentation
    195 -- 218Hans V. Hansen. Aspects of Walton's Theory of Argumentation Schemes
    219 -- 244Fabio Paglieri. Less Scheming, More Typing: Musings on the Waltonian Legacy in Argument Technologies
    245 -- 262Chris Reed. The Waltonian Foundations of Argument Technology
    263 -- 290Peter McBurney, Simon Parsons. Argument Schemes and Dialogue Protocols: Doug Walton's Legacy in Artificial Intelligence
    291 -- 320Michal Araszkiewicz. Critical Questions to Argumentation Schemes in Statutory Interpretation
    runs on