Search alternatives:
classics » classic, classical, classes

1
Published 1983
Springer Netherlands
... of classical logic. Second, these chapters are intended to present all the relevant background material...

2
Published 1986
Springer Netherlands
... to classical logic. The notion of what counts as an alternative is a somewhat problematic one...

3
Published 1984
Springer Netherlands
...The chapters in the present volume go beyond 'classical' extensional logic with respect to one...

4
by Gabbay, Dov M., Olivetti, N.
Published 2000
Springer Netherlands
Table of Contents: ...1 Introduction -- 2 Intuitionistic and Classical Logics -- 3 Intermediate Logics -- 4 Modal Logics...

5
Published 1999
Springer Netherlands
Table of Contents: ...Tableau Methods for Classical Propositional Logic -- First-order Tableau Methods -- Equality...

6
Published 2004
Springer Netherlands
Table of Contents: ... Computationalconstraints In Epistemic Logic -- Contributions from Non-Classical Logics -- The Need for Adaptive Logics...

7
by Gabbay, Dov M.
Published 2007
North Holland
..., as a third truth value, the classical values of truth and falsity together. So such logics also admit...

8
by Gabbay, Dov M.
Published 1981
Springer Netherlands
...From the point of view of non-classical logics, Heyting's implication is the smallest implication...

9
by Gabbay, Dov M.
Published 2013
Springer Berlin Heidelberg
...This text offers an extension to the traditional Kripke semantics for non-classical logics...

10
Published 2007
Springer Netherlands
.... Intensive - examinations of fragments of classical logic have produced fresh insights, including at time...

11
by Gabbay, Dov M.
Published 2004
Elsevier
... From Russell to G̲del, The Emergence of Classical Logic, Logic and the Modalities in the Twentieth...

12
by Gabbay, Dov M., Schlechta, Karl
Published 2011
Springer Berlin Heidelberg
... and independence in classical logic and nonmonotonic and other nonclassical logic, and the consequences...

13
by Metcalfe, George, Olivetti, Nicola, Gabbay, Dov M.
Published 2009
Springer Netherlands
...-theoretic presentations also place fuzzy logics in the broader landscape of non-classical logics, revealing...

14
by Gabbay, Dov M., Rodrigues, Odinaldo T., Russo, Alessandra
Published 2010
Springer Berlin Heidelberg
... translation into a well-known logic, usually classic logic. Secondly, the technique of meta-level/object-level...

15
by Gabbay, Dov M., Schlechta, Karl
Published 2016
Springer International Publishing
... be projected. That is a methodology that has long proven its value for classical and other forms of deductive...

16
by Carnielli, Walter, Coniglio, Marcelo, Gabbay, Dov M., Gouveia, Paula
Published 2008
Springer Netherlands
..., quantum computing, networks and argumentation theory, besides discussing more classical applications like...