Asset Details
MbrlCatalogueTitleDetail
Do you wish to reserve the book?
Axiomatizing non-deterministic many-valued generalized consequence relations
by
Caleiro, Carlos
, Marcelino, Sérgio
in
Cognition & reasoning
/ Comparative analysis
/ Determinism
/ Education
/ Epistemology
/ Inference
/ Logic
/ Metaphysics
/ Philosophy
/ Philosophy of Language
/ Philosophy of Science
/ S.I.: Varieties of Entailment
/ Semantics
/ Values
2021
Hey, we have placed the reservation for you!
By the way, why not check out events that you can attend while you pick your title.
You are currently in the queue to collect this book. You will be notified once it is your turn to collect the book.
Oops! Something went wrong.
Looks like we were not able to place the reservation. Kindly try again later.
Are you sure you want to remove the book from the shelf?
Axiomatizing non-deterministic many-valued generalized consequence relations
by
Caleiro, Carlos
, Marcelino, Sérgio
in
Cognition & reasoning
/ Comparative analysis
/ Determinism
/ Education
/ Epistemology
/ Inference
/ Logic
/ Metaphysics
/ Philosophy
/ Philosophy of Language
/ Philosophy of Science
/ S.I.: Varieties of Entailment
/ Semantics
/ Values
2021
Oops! Something went wrong.
While trying to remove the title from your shelf something went wrong :( Kindly try again later!
Do you wish to request the book?
Axiomatizing non-deterministic many-valued generalized consequence relations
by
Caleiro, Carlos
, Marcelino, Sérgio
in
Cognition & reasoning
/ Comparative analysis
/ Determinism
/ Education
/ Epistemology
/ Inference
/ Logic
/ Metaphysics
/ Philosophy
/ Philosophy of Language
/ Philosophy of Science
/ S.I.: Varieties of Entailment
/ Semantics
/ Values
2021
Please be aware that the book you have requested cannot be checked out. If you would like to checkout this book, you can reserve another copy
We have requested the book for you!
Your request is successful and it will be processed during the Library working hours. Please check the status of your request in My Requests.
Oops! Something went wrong.
Looks like we were not able to place your request. Kindly try again later.
Axiomatizing non-deterministic many-valued generalized consequence relations
Journal Article
Axiomatizing non-deterministic many-valued generalized consequence relations
2021
Request Book From Autostore
and Choose the Collection Method
Overview
We discuss the axiomatization of generalized consequence relations determined by non-deterministic matrices. We show that, under reasonable expressiveness requirements, simple axiomatizations can always be obtained, using inference rules which can have more than one conclusion. Further, when the non-deterministic matrices are finite we obtain finite axiomatizations with a suitable generalized subformula property.
Publisher
Springer Netherlands,Springer Nature B.V
This website uses cookies to ensure you get the best experience on our website.