Classical vs non-classical logics : the universality of classical logic

to connected objects

Location: Deutsche Nationalbibliothek Frankfurt am Main

Dimensions: 30 cm

Extent: 101 S.

Language: Deutsch

Notes: Literaturverz. S. 99 - 101

Event: Veröffentlichung

(where): Saarbrücken

(who): MPI Informatik

(when): 1993

Creator: Gabbay, Dov M.

Table of contents: https://d-nb.info/940102412/04

Rights: Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.

Last update: 11.06.2025, 1:58 PM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Associated

Gabbay, Dov M.
MPI Informatik

Time of origin

1993

Other Objects (12)

Hochschulschrift

Proof reconstruction in classical and non-classical logics

Natural deduction for non-classical logics

Hochschulschrift

A framework for non-classical logics

Aufsatzsammlung

Interval, probabilistic uncertainty and non-classical logics

Aufsatzsammlung

Automated deduction in classical and non-classical logic : selected papers

Hochschulschrift

Connection calculi for automated theorem proving in classical and non-classical logics

Translation methods for non-classical logics : an overview

Parameterized complexity of decision problems in non-classical logics

Konferenzschrift

Structural analysis of non-classical logics : the proceedings of the Second Taiwan Philosophical Logic Colloquium

Ω-bibliography [Omega-bibliography] of mathematical logic, Vol. 2.. Non-classical logics / Wolfgang Rautenberg (ed.)

Theory, models, and numerical methods for classical and non-classical transport

Liquid Precursors in Non-Classical Crystallization

Hochschulschrift

Proof reconstruction in classical and non-classical logics

Natural deduction for non-classical logics

Hochschulschrift

A framework for non-classical logics

Aufsatzsammlung

Interval, probabilistic uncertainty and non-classical logics

Aufsatzsammlung

Automated deduction in classical and non-classical logic : selected papers

Hochschulschrift

Connection calculi for automated theorem proving in classical and non-classical logics

Translation methods for non-classical logics : an overview

Parameterized complexity of decision problems in non-classical logics

Konferenzschrift

Structural analysis of non-classical logics : the proceedings of the Second Taiwan Philosophical Logic Colloquium

Ω-bibliography [Omega-bibliography] of mathematical logic, Vol. 2.. Non-classical logics / Wolfgang Rautenberg (ed.)

Theory, models, and numerical methods for classical and non-classical transport

Liquid Precursors in Non-Classical Crystallization

Hochschulschrift

Proof reconstruction in classical and non-classical logics

Natural deduction for non-classical logics

Hochschulschrift

A framework for non-classical logics

Aufsatzsammlung

Interval, probabilistic uncertainty and non-classical logics

Aufsatzsammlung

Automated deduction in classical and non-classical logic : selected papers

Hochschulschrift

Connection calculi for automated theorem proving in classical and non-classical logics

Translation methods for non-classical logics : an overview

Parameterized complexity of decision problems in non-classical logics

Konferenzschrift

Structural analysis of non-classical logics : the proceedings of the Second Taiwan Philosophical Logic Colloquium

Ω-bibliography [Omega-bibliography] of mathematical logic, Vol. 2.. Non-classical logics / Wolfgang Rautenberg (ed.)

Theory, models, and numerical methods for classical and non-classical transport

Liquid Precursors in Non-Classical Crystallization

Cultural heritage institutions wishing to register will find more information here.

Fields marked * need to be filled in.

Username*

Please enter your username

Email*

Please enter your email address

Please do not fill this field

First name

Last name

Password*

Please enter your password

Confirm password*

Please enter the same password

I have read the terms of use and the privacy policy for the collection of personal data and accept them. *

This field is required.

I would like to subscribe to the newsletter of the Deutsche Digitale Bibliothek. See newsletter subscription info.

Account created

Your "My DDB" account has been successfully created. Before you can log in to your account, you must click the confirmation link in the message we just sent to the email address you provided.

Classical vs non-classical logics : the universality of classical logic

Object Details

Contributors, Places and Time

Further information

Data provider

Associated

Time of origin

Other Objects (12)

Proof reconstruction in classical and non-classical logics

Natural deduction for non-classical logics

A framework for non-classical logics

Interval, probabilistic uncertainty and non-classical logics

Automated deduction in classical and non-classical logic : selected papers

Connection calculi for automated theorem proving in classical and non-classical logics

Translation methods for non-classical logics : an overview

Parameterized complexity of decision problems in non-classical logics

Structural analysis of non-classical logics : the proceedings of the Second Taiwan Philosophical Logic Colloquium

Ω-bibliography [Omega-bibliography] of mathematical logic, Vol. 2.. Non-classical logics / Wolfgang Rautenberg (ed.)

Theory, models, and numerical methods for classical and non-classical transport

Liquid Precursors in Non-Classical Crystallization

Proof reconstruction in classical and non-classical logics

Natural deduction for non-classical logics

A framework for non-classical logics

Interval, probabilistic uncertainty and non-classical logics

Automated deduction in classical and non-classical logic : selected papers

Connection calculi for automated theorem proving in classical and non-classical logics

Translation methods for non-classical logics : an overview

Parameterized complexity of decision problems in non-classical logics

Structural analysis of non-classical logics : the proceedings of the Second Taiwan Philosophical Logic Colloquium

Ω-bibliography [Omega-bibliography] of mathematical logic, Vol. 2.. Non-classical logics / Wolfgang Rautenberg (ed.)

Theory, models, and numerical methods for classical and non-classical transport

Liquid Precursors in Non-Classical Crystallization

Proof reconstruction in classical and non-classical logics

Natural deduction for non-classical logics

A framework for non-classical logics

Interval, probabilistic uncertainty and non-classical logics

Automated deduction in classical and non-classical logic : selected papers

Connection calculi for automated theorem proving in classical and non-classical logics

Translation methods for non-classical logics : an overview

Parameterized complexity of decision problems in non-classical logics

Structural analysis of non-classical logics : the proceedings of the Second Taiwan Philosophical Logic Colloquium

Ω-bibliography [Omega-bibliography] of mathematical logic, Vol. 2.. Non-classical logics / Wolfgang Rautenberg (ed.)

Theory, models, and numerical methods for classical and non-classical transport

Liquid Precursors in Non-Classical Crystallization

Related objects

Reset password