1.
ＥＢ
by Torben Braüner
2.
ＥＢ
by Piotr Lukowski
3.
ＥＢ
by Dirk Dalen
4.
ＥＢ
by Răzvan Diaconescu ; edited by Jean-Yves Beziau, Hajnal Andréka, Mark Burgin, Răzvan Diaconescu, Josep Maria Font, Andreas Herzig, Arnold Koslow, Jui-Lin Lee, Larissa Maksimova, Grzegorz Malinowski, Darko Sarenac, Peter Schröder-Heister, Vladimir Vasyukov
5.
ＥＢ
edited by Vincent F. Hendricks, John Symons, Dirk Dalen, Theo A.F. Kuipers, Teddy Seidenfeld, Patrick Suppes, Jan WoleńSki, Sten Lindström, Erik Palmgren, Krister Segerberg, Viggo Stoltenberg-Hansen
出版情報:
Dordrecht : Springer Netherlands, 2009
シリーズ名:
Synthese Library, Studies In Epistemology. Logic, Methodology, and Philosophy of Science ; 341
子書誌情報:
loading…
オンライン:
http://dx.doi.org/10.1007/978-1-4020-8926-8
所蔵情報:
loading…
6.
ＥＢ
edited by Ryszard Wójcicki, Vincent F. Hendricks, Daniele Mundici, Ewa Orłowska, Krister Segerberg, Heinrich Wansing, David Makinson, Jacek Malinowski, Heinrich Wansing
7.
ＥＢ
by George Metcalfe, Nicola Olivetti, Dov Gabbay ; edited by Dov M. Gabbay, Jon Barwise
8.
ＥＢ
by Daniel Parrochia, Pierre Neuville
目次情報:
続きを見る
Foreword
1 Philosophical problems
2 Information data structures
3 Empirical Clustering and classic hierarchies
4 Algebra of trees
5 Generalized Classifications
6 Topology of generalized classifications
7 Meta-classification
8 For an axiomatic theory of classifications
9 Alternative theories and higher infinite
10 Postscript
Bibliography.
Foreword
1 Philosophical problems
2 Information data structures
9.
ＥＢ
edited by Amirouche Moktefi, Sun-Joo Shin
目次情報:
続きを見る
Preface
1. What is a logical diagram? (Catherine Legg)
2. The geometry of diagrams and the logic of syllogisms (Richard Bosley)
3. A diagrammatic calculus of syllogisms (Ruggero Pagnan)
4. Beyond syllogisms: Carroll’s (marked) quadriliteral diagram (Amirouche Moktefi)
5. A diagrammatic bridge between classical and fuzzy logics (Ferdinando Cavaliere)
6. Diagrammatic reasoning with Classes and relationships (Jørgen Fischer Nilsson)
7. On the completeness of spider diagrams augmented with constants (Gem Stapleton, John Howse, Simon Thompson, John Taylor and Peter Chapman)
8. A practice-based approach to diagrams (Valeria Giardino)
9. Figures, formulae, and functors (Zach Weber)
10. Diagrams and concepts of graph theory (Mitsuko Mizuno)
Preface
1. What is a logical diagram? (Catherine Legg)
2. The geometry of diagrams and the logic of syllogisms (Richard Bosley)
10.
ＥＢ
by Christian Straßer
目次情報:
続きを見る
Chapter 1. Introduction
Part I. Adaptive Logics as a Framework for Defeasible Logics
Chapter 2 The Standard Format of Adaptive Logics
Chapter 3. Sequential Combinations of ALs
Chapter 4. On the Transparency of Defeasible Logics: Equivalent Premise Sets, Equivalence of Their Extensions, and Maximality of the Lower Limit
Chapter 5. Generalizing the Standard Format
Part II. Conditional Logics of Normality
Chapter 6. Adaptively Applying Modus Ponens in Conditional Logics of Normality
Chapter 7. An Adaptive Logic for Rational Closure
Part III. Argumentation Theory
Chapter 8. Towards the Proof-Theoretic Unification of Dung’s Argumentation Framework: An Adaptive Logic Approach
Chapter 9. Allowing for Joint Attacks
Part IV. Deontic Logics
Chapter 10. Avoiding Deontic Explosion by Contextually Restricting Modal Inheritance
Chapter 11. An Adaptive Logic Framework for Conditional Obligations and Deontic Dilemmas
Chapter 12. A Deontic Logic Framework Allowing for Factual Detachment
Appendices
Chapter 1. Introduction
Part I. Adaptive Logics as a Framework for Defeasible Logics
Chapter 2 The Standard Format of Adaptive Logics
11.
ＥＢ
by Vito Michele Abrusci, Lorenzo Tortora Falco
目次情報:
続きを見る
1 Introduzione
2 Alcune nozioni preliminari
3 Dimostrabilità e soddisfacibilità
4 Verso la teoria della dimostrazione: il teorema del taglio per LK
5 Verso la teoria dei modelli: alcune conseguenze del teorema di compattezza
1 Introduzione
2 Alcune nozioni preliminari
3 Dimostrabilità e soddisfacibilità
12.
ＥＢ
edited by Arnold Koslow, Arthur Buchsbaum
目次情報:
続きを見る
Preface
Ibn Sina’s Two‐Partite versus Nine‐Partite Logicography by Musa Akrami
Homotopical categories of logics by Peter Arndt
Semi‐implication: A Chapter in Universal Logic by Arnon Avron
A Formal Framework for Hypersequent Calculi and their Fibring by Marcelo Esteban Coniglio and Martin Figallo
Investigating Knowledge and Opinion by John Corcoran and Idris Samawi Ha
The Algebra of Opposition (and universal logic interpretations) by Razvan Diaconescu
Universal Logic as the Science of Patterns by Brian Gaines
Hexagonal Logic of the Field F8 as a Boolean Logic with Three Involutive Modalities by René Guitart
The move from one to two quantifiers by Wilfrid Hodges
On the Contrary: Disjunctive Syllogism and Pragmatic Strengthening by Laurence Horn
Aristotle on Language and Universal Proof by Jean‐Louis Hudry
Béziau on And and Or by Lloyd Humberstone
Universal Logic or Logics in Resemblance Families by Dale Jacquette
Causality and Attribution in an Aristotelian Theory by Srecko Kovac
Using Each Other's Words by Marcus Kracht
On Universality and Formality in 19th Century Symbolic Logic: The Case of Schröder’s “Absolute Algebra” by Javier Legris
Caramuel and the “Quantification of the Predicate” by Wolfgang Lenzen
Lossy Inference Rules and their Bounds: a Brief Review by David Makinson and James Hawthorne
Nonsets by Daniel Parrochia
A Roadmap to Decidability by João Rasga, Cristina Sernadas and Amílcar Sernadas
John Buridan on Non‐Contingency Syllogisms by Stephen Read
Symbolic Existence in Hugh MacColl: a dialogical approach by Juan Redmond
Beziau's Contributions to the Logical Geometry of Modalities and Quantifiers by Hans Smessaert and Lorenz Demey
On Metalogical Pluralism by Vladimir L. Vasyukov
Constructivism and Metamathematics by Jan Woleński.
Preface
Ibn Sina’s Two‐Partite versus Nine‐Partite Logicography by Musa Akrami
Homotopical categories of logics by Peter Arndt
13.
ＥＢ
edited by Arnold Koslow, Arthur Buchsbaum
目次情報:
続きを見る
1. Katarzyna Gan-Krzywoszyńska (edited by): Personal recollections about JYB by Newton da Costa and others
2. Jean-Yves Beziau: Logical Autobiography 50
3. Marcos Antonio Alves and Itala M. Loffredo D’Ottaviano: A quantitative-informational approach to logical consequence
4. Hajnal Andréka and Istvan Németi: Finite-variable logics do not have weak Beth definability property
5. Irving Anellis: Peirce’s Role in the History of Logic: Lingua Universalis and Calculus Ratiocinator
6. Ignacio Angelelli: The Meaning(s) of “is”: Normative vs. Naturalistic Views of Language
7. Régis Angot-Pélissier: The relation between logic, set theory and topos theory as it is used by Alain Badiou
8. Jonas Becker Arenhart and Décio Krause: Potentiality and Contradiction in Quantum Mechanics
9. Diderik Batens: Two, many and differently many
10. Hilan Bensusan, Alexandre Costa-Leite and Edelcio Gonçalves de Souza: Logics and their galaxies
11. Otavio Bueno: Can Identity be relativized?
12. Luis Estrada-González: From (paraconsistent) topos logic to Universal (topos) Logic
13. Yvon Gauthier: A Note on the Internal Logic of Constructive Mathematics: The Gel’fond-Schneider Theorem in Transcendental Number Theory
14. I. Grattan-Guinness: Is logic universal or hierarchical?
15. Dany Jaspers: The English Tenses, Blanche and the Logical Kite
16. Azriel Laufer and Dov Gabbay: Topological Aspects of Matrix Abduction 1
17. Mai Ben Adar Bessos and Dov Gabbay: Topological Aspects of Matrix Abduction 2
18. Sérgio Marcelino, Carlos Caleiro and Pedro Baltazar: Deciding theoremhood in fibred logics without shared connectives
19. Amirouche Moktefi and Fabien Schang: On rules and refereeing in football
20. Alessio Moretti: Arrow - Hexagons
21. Till Mossakowski, Mihai Codescu, Fabian Neuhaus, and Oliver Kutz: The Distributed Ontology, Modelling and Specification Language – DOL
22. Sergei Odintsov: Belnap constants and Nelson logic
23. Hitoshi Omori and Toshiharu Waragai: Negative modalities in the light of paraconsistency
24. Olga Pombo: Operativity and Representativity of the Sign in Leibniz
25. Henri Prade and Didier Dubois: Being consistent about inconsistency: Toward the rational fusing of inconsistent propositional logic bases
26. Giuseppe Primiero: Realist consequence, epistemic inference, computational correctness
27. Christian de Ronde: Epistemological and Ontological Paraconsistency in Quantum Mechanics: For and Against Bohrian Philosophy
1. Katarzyna Gan-Krzywoszyńska (edited by): Personal recollections about JYB by Newton da Costa and others
2. Jean-Yves Beziau: Logical Autobiography 50
3. Marcos Antonio Alves and Itala M. Loffredo D’Ottaviano: A quantitative-informational approach to logical consequence
14.
ＥＢ
edited by Giovanni Sommaruga, Thomas Strahm
目次情報:
続きを見る
Preface (Martin Davis).-I Introduction (Sommaruga, Strahm).-II Turing and the history of computability theory
1. Conceptual Confluence in 1936: Post & Turing, Martin Davis and Wilfried Sieg
2. Algorithms: From Al-Khwarizmi to Turing and Beyond, Wolfgang Thomas
3. The Stored-Program Universal Computer: Did Zuse Anticipate Turing and von Neumann? Jack Copeland and Giovanni Sommaruga
III Generalizing Turing computability theory
1. Theses for Computation and Recursion on Concrete and Abstract Structures, Solomon Feferman
2. Generalizing Computability Theory to Abstract Algebras, John V. Tucker and Jeffrey Zucker
3. Discrete Transfinite Computation, Philip Welch
4. Semantics-to-Syntax Analyses of Algorithms, Yuri Gurevich
5. The Information Content of Typical Reals, George Barmpalias and Andy Lewis-Pye
6. Proof-theoretic Analysis by Iterated Reflection, Lev Beklemishev.-IV Philosophical reflections
1. Alan Turing and the Foundation of Computer Science, Juraj Hromkovic
2. Proving Things about the Informal, Stewart Shapiro
3. Why Turing’s Thesis is Not a Thesis, Robert Soare
4. Incomputability, Emergent, and Higher Type Computation, S. Barry Cooper
Preface (Martin Davis).-I Introduction (Sommaruga, Strahm).-II Turing and the history of computability theory
1. Conceptual Confluence in 1936: Post & Turing, Martin Davis and Wilfried Sieg
2. Algorithms: From Al-Khwarizmi to Turing and Beyond, Wolfgang Thomas
15.
ＥＢ
edited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev
16.
ＥＢ
by Heinz-Dieter Ebbinghaus
17.
ＥＢ
by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas
18.
ＥＢ
edited by Jean-Yves Beziau, Mihir Chakraborty, Soma Dutta
目次情報:
続きを見る
C. Baskent: Game Semantics and Paraconsistency
D. Batens: Some adaptive contributions to Logics of Formal Inconsistency
Jean-Yves Beziau and A. Franceschetto: Strong Three-Valued Paraconsistent Logics
R. C. Ertola B. Rodriguez and C. Noguera I. lofent: Paraconsistent degree-preserving fuzzy logic
B. Brown: Symmetrical Preservation Relations and Cognitive Commitments
C. C. Caret Game Semantics and Paraconsistency
N. da Costa and C. de Ronde: Quantum Physics and Paraconsistency
V. Degauquier: A unified proof-theoretic approach of partial and paraconsistent three-valued logics
S. Dutta: Consequence and Inconsistency: Paraconsistent Logics
E. Ficara:Negation and the Metaphysical Foundations of Logic
H. Field: Restricted Quantification in Paraconsistent and Other Nonclassical Logics
D. Gangopadhyay: Unscrambling the ‘Copenhagen omelet’ in paraconsistent term
P. Greenough: Going Glutty, Staying Classical
C. Heunen: Combining logical viewpoints in quantum theory
R. I. Ingalalli: Consistency in Indian Logic
T. Jarmuzek: Tableau metatheory for paraconsistent logics defined by possible world's semantics
P. Jetli: Aristotle’s Syllogistic Logic is a Paraconsistent Logic
H. Kurokawa: Hypersequent Calculi for Dual-superintuitionstic Logics and an Extension of the Logic Cube
O. Korkmaz: A paraconsistent solution to Kratzer’s modal semantics
H. Omori: Naive set theories based on expansions of BD enriched by classical negation
A. Moretti and R. Pélissier: Many-valuedness and paraconsistency in a 3-oppositional quadrisimplex of sheaves
C. Mortensen: Wedge Sum as Inconsistent
A. Pietruszczak and M. Nasieniewski: Modal logics connected to Jaskowski's logic D2
G. Priest: The Adventures of the Catuskoti
G. Pulcini: Towards a unified setting for non-monotonicity and paraconsistency
V. Puncochár:Internal and External logics of Nelson Models
F. Putte: Adaptive Logics and Selection Function
D. Skurt: Iterated preferential models as a strategy to make many-valued paraconsistent logics non-monotonic
S. Tarafder and M. Chakraborty: The Logic LS3 and its Comparison with other Three-Valued Paraconsistent Logics
E. Turunen: Two Paraconsistent Semantics for Pavelka's Fuzzy Logic
M. Vacek: Paraconsistency and Impossible Worlds
P. Verdée:Paraconsistent and classical negation in the context of relevant implication
D. Zaitsev: Propositions, Paraconsistency, Paracompleteness
C. Baskent: Game Semantics and Paraconsistency
D. Batens: Some adaptive contributions to Logics of Formal Inconsistency
Jean-Yves Beziau and A. Franceschetto: Strong Three-Valued Paraconsistent Logics
19.
ＥＢ
edited by Matthew Foreman, Akihiro Kanamori
20.
ＥＢ
by Yu. I. Manin
21.
ＥＢ
by Andrzej Indrzejczak
22.
ＥＢ
edited by Jean-Yves Béziau, Dale Jacquette
23.
ＥＢ
by Paulo Guilherme Santos
目次情報:
続きを見る
Diagonalization in Mathematics
Diagonalization Lemma
Fixed Point Theorems
Paradoxes: Liar, Yablo’s Paradox, Curry’s Paradox
Diagonalization in Mathematics
Diagonalization Lemma
Fixed Point Theorems
24.
ＥＢ
edited by Peter M. Schuster, Monika Seisenberger, Andreas Weiermann
目次情報:
続きを見る
Well, Better, and in-between
The Categorical Structure of Well-Quasi Orders
On Kriz's Theorem
On the Width of FAC Orders, a Somewhat Rediscovered Notion
Preliminary Well-quasi Orders in the Study of Hierarchies and Reducibilities
The Ideal Approach to Computing Closed Subsets in Well-Quasi-Orderings
Well-Quasi Orders and Regularity
Well Quasi Ordering and Embeddability of Relational Structures
A Functional Interpretation of Zorn's Lemma and its Application in Well-Quasi-Order Theory
The Reverse Mathematics of wqos and bqos
Well-partial Ordering and the Maximal Order Type
TBC
The Worlds of Well-Partial-Orders and Ordinal Notation systems
Bounds for the Strength of the Graph Minor Theorem
Well, Better, and in-between
The Categorical Structure of Well-Quasi Orders
On Kriz's Theorem
25.
ＥＢ
by Andrzej Pietruszczak
目次情報:
続きを見る
Foreword
Chapter I. Introduction
Chapter II. “Existentially neutral” theories of parthood
Chapter III. Theories of parthood with sum existence axioms
Chapter IV. Theories of parthood without transitivity
Appendix A. Logic and set theory
Appendix B. Algebra
Foreword
Chapter I. Introduction
Chapter II. “Existentially neutral” theories of parthood
26.
ＥＢ
by Craig Smoryński
目次情報:
続きを見る
1 Introduction
2 Logic Puzzles
3 Some Basic Mathematical Exercises
4 Probability
5 Graph Theory
A Further Explorations
Index
1 Introduction
2 Logic Puzzles
3 Some Basic Mathematical Exercises
27.
ＥＢ
edited by Reinhard Kahle, Michael Rathjen
目次情報:
続きを見る
Preface
List of Contributors
Part I History and Memories
Part II Proof Theory at Work
Part III Further Legacy
Part IV Kurt Schüttes Spätwerk
Preface
List of Contributors
Part I History and Memories
28.
ＥＢ
edited by Julie Brumberg-Chaumont, Claude Rosental
目次情報:
続きを見る
Introduction
Part I. “Primitives” and Civilized Men
Decolonizing “Natural Logic”
Natural Logic, Anthropological Antilogies, and Savage Thought in the 19th Century
Referring to Logical Skills to Assess the Rationality of an Ethnic Group: The Zande Case in the History of the Social Sciences
“Some Stages of Logical Thought”: From Native Certainties to Acquired Doubts
Part II. Educated and Disabled Men
The Rise of Logical Skills and the 13th Century Origins of the “Logical Man”
Anti-dialecticians in the Middle Ages: Historiographic Myth or Reality?
Illogical Thinking: Problems Concerning Medieval Notions of “Idiocy” and “Rationality”
Natural Logic and the Course of Time: From Theology to Developmental Psychology
Index
Introduction
Part I. “Primitives” and Civilized Men
Decolonizing “Natural Logic”
29.
ＥＢ
by Mohamed A. Amer
目次情報:
続きを見る
Acknowledgements
1. Formalizations of AAS
2. Semantics of AAS
3. Decidability
4. Basic equivalence of the four formalizations
5. Venn soundness and completeness
6. Direct way to Venn models
7. Variations on NF(C)
8. Direct completion of direct deduction
9. Models of NF(C) revisited
10. Decidability revisited
11. Sorites
12. Independence
13. Algebraic semantics of AAS, a prelude
14. Algebraic interpretation of NF(C)
15. Annihilators: Embedding the partial into a total
16. Back to algebraic interpretation
17. Leibniz and Boole
18. Inadequacy: bounds of AAS
Appendix
Acknowledgements
1. Formalizations of AAS
2. Semantics of AAS
30.
ＥＢ
by Petr Cintula, Carles Noguera
目次情報:
続きを見る
Chapter 1. Preliminaries
Chapter 2. Weakly Implicative Logics
Chapter 3. Substructural Logics
Chapter 4. Generalized Disjunctions
Chapter 5. Semilinear Logics
Chapter 6. First-Order Predicate Logics
Chapter 1. Preliminaries
Chapter 2. Weakly Implicative Logics
Chapter 3. Substructural Logics
31.
ＥＢ
by Elena Anne Corie Marchisotto, Francisco Rodríguez-Consuegra, James T. Smith
目次情報:
続きを見る
Preface
Pieri's Contributions to Foundations and Philosophy of Mathematics
Pieri's Philosophy of Deductive Sciences
Two Paths to Logical Consequence: Pieri and the Peano School
Pieri's 1900 Paris Paper
Pieri and Projective Geometry
Pieri's 1898 Geometry of Position Memoir
Transformational Geometry
Pieri's 1900 Point-and-Motion Memoir
Pieri's Works on Foundations and Philosophy of Mathematics
Central Themes and Impact of Pieri's Work
Bibliography
Index
Preface
Pieri's Contributions to Foundations and Philosophy of Mathematics
Pieri's Philosophy of Deductive Sciences
32.
ＥＢ
edited by Maria Hämeen-Anttila, Jan von Plato
出版情報:
Cham : Springer International Publishing : Imprint: Springer, 2021
シリーズ名:
Sources and Studies in the History of Mathematics and Physical Sciences ;
子書誌情報:
loading…
オンライン:
https://doi.org/10.1007/978-3-030-87296-0
所蔵情報:
loading…
目次情報:
続きを見る
Gödel's Functional Interpretation in Context
Part I: Axiomatic Intuitionist Logic
Part II: The Functional Interpretation
References
Name Index
Gödel's Functional Interpretation in Context
Part I: Axiomatic Intuitionist Logic
Part II: The Functional Interpretation
33.
ＥＢ
edited by Toshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Mitsuhiro Okada, Teruyuki Yorioka
出版情報:
Singapore : Springer Nature Singapore : Imprint: Springer, 2021
シリーズ名:
Springer Proceedings in Mathematics & Statistics ; 369
子書誌情報:
loading…
オンライン:
https://doi.org/10.1007/978-981-16-4173-2
所蔵情報:
loading…
目次情報:
続きを見る
S. Fuchino and A. Ottenbreit Ottenbreit Maschio Rodrigues, Reflection principles, generic large cardinals, and the Continuum Problem
D. Ikegami and N. Trang, On supercompactness of ω1
S. Iwata, Interpolation properties for Sacchetti’s logics
T. Kurahashi, Rosser provability and the second incompleteness theorem
H. Kurokawa, On Takeuti’s early view of the concept of set
Yo Matsubara and T. Usuba, On Countable Stationary Towers
M. Ozawa, Reforming Takeuti’s Quantum Set Theory to Satisfy De Morgan’s Laws
T. Usuba, Choiceless Lowenheim-Skolem property and uniform definability of grounds
M. Yasugi, Y. Tsujii, T. Mori, Irrational-based computability of functions
M. Yasugi, “Gaisi Takeuti’s finitist standpoint” and its mathematical embodiment
Y. Yoshinobu, Properness under closed forcing
S. Fuchino and A. Ottenbreit Ottenbreit Maschio Rodrigues, Reflection principles, generic large cardinals, and the Continuum Problem
D. Ikegami and N. Trang, On supercompactness of ω1
S. Iwata, Interpolation properties for Sacchetti’s logics
34.
ＥＢ
by Andrzej Indrzejczak
目次情報:
続きを見る
Introduction
Analytic Sequent Calculus for CPL
Gentzen's Sequent Calculus LK
Purely Logical Sequent Calculus
Sequent Calculi for Modal Logics
Alternatives to CPL
Appendix
Introduction
Analytic Sequent Calculus for CPL
Gentzen's Sequent Calculus LK
35.
ＥＢ
edited by Mojtaba Mojtahedi, Shahid Rahman, Mohammad Saleh Zarepour
出版情報:
Cham : Springer International Publishing : Imprint: Springer, 2021
シリーズ名:
Logic, Epistemology, and the Unity of Science ; 49
子書誌情報:
loading…
オンライン:
https://doi.org/10.1007/978-3-030-53654-1
所蔵情報:
loading…
目次情報:
続きを見る
Chapter 1. Introduction (Mojtaba Mojtahedi, Shahid Rahman, and Mohammad Saleh Zarepour)
Chapter 2. Extension and Interpretability (Albert Visser)
Chapter 3. Residuated Expansions of Lattice-Ordered Structures (Majid Alizadeh and Hiroakira Ono)
Chapter 4. Bounded Distributive Lattices with Two Subordinations (Sergio Celani and Roman Jansana)
Chapter 5. The Termination Condition of Gossip Protocols (Rahim Ramezanian, Rasool Ramezanian, and Hans van Ditmarsch)
Chapter 6. On equivalence (Wim Veldman)
Chapter 7. Unification in basic logic (Mojatba Mojtahedi)
Chapter 8. Binary Modal Companions for Subintuitionistic Logics (Dick de Jongh and Fateme Shirmohammadzade Maleki)
Chapter 9. From Intuitionism to Many-Valued Logics through Kripke Models (Saeed Salehi Pourmehr)
Chapter 10. The Intuitionistic Logic of Language (Mehrnoosh Sadrzadeh)
Chapter 11. Non-Conditional Contracting Connectives (Luis Estrada-González and Elisángela Ramírez-Cámara)
Chapter 12. The Struggle between Syntax and Semantics in Mathematics (Siavash Shahshahani)
Chapter 13. De-Modalizeing the Language in an Empiricist-Friendly Way: The Case of Physics (Kave Lajevardi)
Chapter 14. Avicenna on Deductions from Contradictory Premises (Behnam Zolghar)
Chapter 15. On Descriptive Propositions in Ibn Sīnā: Elements for a Logical Analysis (Shahid Rahman and Mohammad Saleh Zarepour)
Chapter 16. TBA (Ali Farjami)
Chapter 17. Empiricism of Avicenna Reconsidered (Seyed N. Mousavian)
Chapter 1. Introduction (Mojtaba Mojtahedi, Shahid Rahman, and Mohammad Saleh Zarepour)
Chapter 2. Extension and Interpretability (Albert Visser)
Chapter 3. Residuated Expansions of Lattice-Ordered Structures (Majid Alizadeh and Hiroakira Ono)
ＥＢ
