Material to categorize
- Non Classical Concept Representation and Reasoning in Formal Ontologies.Antonio Lieto - 2012 - Dissertation, Università Degli Studi di Salernodetails
- A Cut-Free Sequent Calculus for Defeasible Erotetic Inferences.Jared Millson - 2018 - Studia Logica:1-34.details
- Composing Prototypes - AISC 18.Antonio Lieto & Gian Luca Pozzato - 2018 - In Proceedings of AISC 2018, 15th Annual Conference of the Italian Association for Cognitive Sciences The new era of Artificial Intelligence: a cognitive perspective. 27100 Pavia, Province of Pavia, Italy: pp. 8-10.details
- A Description Logic of Typicality for Conceptual Combination.Antonio Lieto & Gian Luca Pozzato - 2018 - In Proceedings of ISMIS 18. Springer.details
- Genuine Process Logic.Wolfgang Sohst - 2017 - Collected Lectures of MoMo Berlin.details
- Prospects for a Naive Theory of Classes.Hartry Field, Harvey Lederman & Tore Fjetland Øgaard - 2017 - Notre Dame Journal of Formal Logic 58 (4):461-506.details
- On Classical and Quantum Logical Entropy.David Ellerman - manuscriptdetails
- On Logical Relativity.Achille C. Varzi - 2002 - Philosophical Issues 12 (1):197-219.details
- The Basic Algebra of Game Equivalences.Valentin Goranko - 2003 - Studia Logica 75 (2):221-238.details
- On the Duality Between Existence and Information.David Ellerman - manuscriptdetails
- Punny Logic.Noah Greenstein - 2015 - Analysis 75 (3):359-362.details
- A Natural Deduction Relevance Logic.Fred Johnson - 1977 - The Bulletin of the Section of Logic 6 (4):164-168.details
- A Categorial Approach to the Combination of Logics.Walter A. Carnielli & Marcelo E. Coniglio - 1999 - Manuscrito 22 (2):69-94.details
- Translations Between Logical Systems: A Manifesto.Walter A. Carnielli & Itala Ml D'Ottaviano - 1997 - Logique Et Analyse 157:67-81.details
- A Logic for 'Because'.Benjamin Schnieder - 2011 - Review of Symbolic Logic 4 (3):445-465.details
- Temporal Logics with Reference Pointers and Computation Tree Logics.Valentin Goranko - 2000 - Journal of Applied Non-Classical Logics 10 (3):221-242.details
- Algorithmic Correspondence and Completeness in Modal Logic. IV. Semantic Extensions of SQEMA.Willem Conradie & Valentin Goranko - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):175-211.details
- Logic for Physical Space: From Antiquity to Present Days.Marco Aiello, Guram Bezhanishvili, Isabelle Bloch & Valentin Goranko - 2012 - Synthese 186 (3):619-632.details
- A Different Approach to Logic.Mauro Avon - 2011 - Dissertation, details
- Rejection and Truth-Value Gaps.Fred Johnson - 1999 - Notre Dame Journal of Formal Logic 40 (4):574-577.details
- Topological Aspects of Combinatorial Possibility.Thomas Mormann - 1997 - Logic and Logical Philosophy 5:75 - 92.details
- Complex Individuals and Multigrade Relations.Adam Morton - 1975 - Noûs 9 (3):309-318.details
- First- and Second-Order Logic of Mass Terms.Peter Roeper - 2004 - Journal of Philosophical Logic 33 (3):261-297.details
- Cut-Offs and Their Neighbors.Achille C. Varzi - 2003 - In Jc Beall (ed.), Liars and Heaps: New Essays on Paradox. Clarendon Press. pp. 24–38.details
- Complementary Logics for Classical Propositional Languages.Achille C. Varzi - 1992 - Kriterion - Journal of Philosophy 4 (1):20-24.details
- Sulla relatività logica.Achille C. Varzi - 2004 - In Massimiliano Carrara & Pierdaniele Giaretta (eds.), Filosofia e logica. Rubbettino Editore. pp. 135–173.details
Fuzzy Logic
- Maximality in Finite-Valued Lukasiewicz Logics Defined by Order Filters.Marcelo E. Coniglio, Francesc Esteva, Joan Gispert & Lluis Godo - forthcoming - Journal of Logic and Computation.details
- Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic.Matthias Baaz & Richard Zach - 2000 - In Peter G. Clote & Helmut Schwichtenberg (eds.), Computer Science Logic. 14th International Workshop, CSL 2000. Berlin: Springer. pp. 187– 201.details
- Completeness of a Hypersequent Calculus for Some First-Order Gödel Logics with Delta.Matthias Baaz, Norbert Preining & Richard Zach - 2006 - In 36th International Symposium on Multiple-valued Logic. May 2006, Singapore. Proceedings. Los Alamitos: IEEE Press.details
- Quantified Propositional Gödel Logics.Matthias Baaz, Agata Ciabattoni & Richard Zach - 2000 - In Andrei Voronkov & Michel Parigot (eds.), Logic for Programming and Automated Reasoning. 7th International Conference, LPAR 2000. Berlin: Springer. pp. 240-256.details
- Incompleteness of a First-Order Gödel Logic and Some Temporal Logics of Programs.Matthias Baaz, Alexander Leitsch & Richard Zach - 1996 - In Hans Kleine Büning (ed.), Computer Science Logic. CSL 1995. Selected Papers. Berlin: Springer. pp. 1--15.details
- Compact Propositional Gödel Logics.Matthias Baaz & Richard Zach - 1998 - In 28th IEEE International Symposium on Multiple-Valued Logic, 1998. Proceedings. Los Alamitos: IEEE Press. pp. 108-113.details
- Many-Valued Logics. A Mathematical and Computational Introduction.Luis M. Augusto - 2017 - London: College Publications.details
- 4. Contradictorial Gradualism Vs. Discontinuism: Two Views On Fuzziness And The Transition Problem.Marcelo VÁsconez - 2006 - Logique Et Analyse 49 (195).details
- Curry's Paradox and Omega Inconsistency.Andrew Bacon - 2013 - Studia Logica 101 (1):1-9.details
- Fuzziness and the Sorites Paradox.Marcelo Vasconez - 2006 - Dissertation, Catholic University of Louvaindetails
- A Simple Logic for Comparisons and Vagueness.Theodore J. Everett - 2000 - Synthese 123 (2):263-278.details
- Hedges: A Study in Meaning Criteria and the Logic of Fuzzy Concepts. [REVIEW]George Lakoff - 1973 - Journal of Philosophical Logic 2 (4):458 - 508.details
|
Off-campus access
Using PhilArchive from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
|
RSS feed
|
About us
Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum.
|