Existence and Predication in Free Logics
Abstract
This paper presents a fundamental difference between negative semantics for free logics and positive ones regarding the logical relations between existence and predication. We conclude that this difference is the key to understand why negative free logics are stronger, i.e., they prove more, than positive free logics.
DOI: https://doi.org/10.1515/sh-2017-0023 | Journal eISSN: 2299-0518
Language: English
Page range: 3 - 9
Published on: Nov 1, 2017
Published by: University of Information Technology and Management in Rzeszow
In partnership with: Paradigm Publishing Services
Publication frequency: 4 times per year
Keywords:
Related subjects:
© 2017 Guilherme Kubiszeski, published by University of Information Technology and Management in Rzeszow
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.