Subjects -> PHILOSOPHY (Total: 762 journals)
 The end of the list has been reached or no journals were found for your choice.
Similar Journals
 Studia LogicaJournal Prestige (SJR): 0.353 Citation Impact (citeScore): 1Number of Followers: 3      Hybrid journal (It can contain Open Access articles) ISSN (Print) 1572-8730 - ISSN (Online) 0039-3215 Published by Springer-Verlag  [2469 journals]
• Discrete Duality for Nelson Algebras with Tense Operators

Abstract: Abstract In this paper, we continue with the study of tense operators on Nelson algebras (Figallo et al. in Studia Logica 109(2):285–312, 2021, Studia Logica 110(1):241–263, 2022). We define the variety of algebras, which we call tense Nelson D-algebras, as a natural extension of tense De Morgan algebras (Figallo and Pelaitay in Logic J IGPL 22(2):255–267, 2014). In particular, we give a discrete duality for these algebras. To do this, we will extend the representation theorems for Nelson algebras given in Sendlewski (Studia Logica 43(3):257–280, 1984) to the tense case.
PubDate: 2022-09-21

• Loop-Check Specification for a Sequent Calculus of Temporal Logic

Abstract: Abstract In our previous work we have introduced loop-type sequent calculi for propositional linear discrete tense logic and proved that these calculi are sound and complete. Decision procedures using the calculi have been constructed for the considered logic. In the present paper we restrict ourselves to the logic with the unary temporal operators “next” and “henceforth always”. Proof-theory of the sequent calculus of this logic is considered, focusing on loop specification in backward proof-search. We describe cyclic sequents and prove that any loop consists of only cyclic sequents. A class of sequents for which backward proof-search do not require loop-check is presented. It is shown how sequents can be coded by binary strings that are used in backward proof-search for the sake of more efficient loop-check.
PubDate: 2022-08-30

• Correction to: Group Representation for Even and Odd Involutive
Commutative Residuated Chains

PubDate: 2022-08-01
DOI: 10.1007/s11225-022-09991-4

• Correction to: The Hahn Embedding Theorem for a Class of Residuated
Semigroups

Abstract: A Correction to this paper has been published: 10.1007/s11225-020-09933-y
PubDate: 2022-08-01
DOI: 10.1007/s11225-022-09986-1

• A Modal View on Resource-Bounded Propositional Logics

Abstract: Abstract Classical propositional logic plays a prominent role in industrial applications, and yet the complexity of this logic is presumed to be non-feasible. Tractable systems such as depth-bounded boolean logics approximate classical logic and can be seen as a model for resource-bounded agents whose reasoning style is nonetheless classical. In this paper we first study a hierarchy of tractable logics that is not defined by depth. Then we extend it into a modal logic where modalities make explicit the assumptions discharged in propositional proofs, thereby expressing blueprints for proofs. A natural deduction system is provided that permits to reason about and manage such proof blueprints.
PubDate: 2022-08-01
DOI: 10.1007/s11225-022-09984-3

• Generalizing Deontic Action Logic

Abstract: Abstract We introduce a multimodal framework of deontic action logic which encodes the interaction between two fundamental procedures in normative reasoning: conceptual classification and deontic classification. The expressive power of the framework is noteworthy, since it combines insights from agency logic and dynamic logic, allowing for a representation of many kinds of normative conflicts. We provide a semantic characterization for three axiomatic systems of increasing strength, showing how our approach can be modularly extended in order to get different levels of analysis of normative reasoning. Finally, we discuss ways in which the framework can be used to capture other formalisms proposed in the literature, as well as to model searching problems in Artificial Intelligence.
PubDate: 2022-08-01
DOI: 10.1007/s11225-022-09989-y

• Group Representation for Even and Odd Involutive Commutative Residuated
Chains

Abstract: Abstract For odd and for even involutive, commutative residuated chains a representation theorem is presented in this paper by means of direct systems of abelian o-groups equipped with further structure. This generalizes the corresponding result of J. M. Dunnabout finite Sugihara monoids.
PubDate: 2022-08-01
DOI: 10.1007/s11225-021-09981-y

• Simplified Kripke Semantics for K45-Like Gödel Modal Logics and Its
Axiomatic Extensions

Abstract: Abstract In this paper we provide a simplified, possibilistic semantics for the logics K45(G), i.e. a many-valued counterpart of the classical modal logic K45 over the [0, 1]-valued Gödel fuzzy logic $$\mathbf{G}$$ . More precisely, we characterize K45(G) as the set of valid formulae of the class of possibilistic Gödel frames $$\langle W, \pi \rangle$$ , where W is a non-empty set of worlds and $$\pi : W \mathop {\rightarrow }[0,1]$$ is a possibility distribution on W. We provide decidability results as well. Moreover, we show that all the results also apply to the extension of K45(G) with the axiom (D), provided that we restrict ourselves to normalised Gödel Kripke frames, i.e. frames $$\langle W, \pi \rangle$$ where $$\pi$$ satisfies the normalisation condition $$\sup _{w \in W} \pi (w) = 1$$ .
PubDate: 2022-08-01
DOI: 10.1007/s11225-022-09987-0

• An Analysis of Poly-connexivity

Abstract: Abstract Francez has suggested that connexivity can be predicated of connectives other than the conditional, in particular conjunction and disjunction. Since connexivity is not any connection between antecedents and consequents—there might be other connections among them, such as relevance—, my question here is whether Francez’s conjunction and disjunction can properly be called ‘connexive’. I analyze three ways in which those connectives may somehow inherit connexivity from the conditional by standing in certain relations to it. I will show that Francez’s connectives fail all these three ways, and that even other connectives obtained by following more closely Wansing’s method to get a connexive conditional, fail to be connexive as well.
PubDate: 2022-08-01
DOI: 10.1007/s11225-022-09985-2

• Twist Structures and Nelson Conuclei

Abstract: Abstract Motivated by Kalman residuated lattices, Nelson residuated lattices and Nelson paraconsistent residuated lattices, we provide a natural common generalization of them. Nelson conucleus algebras unify these examples and further extend them to the non-commutative setting. We study their structure, establish a representation theorem for them in terms of twist structures and conuclei that results in a categorical adjunction, and explore situations where the representation is actually an isomorphism. In the latter case, the adjunction is elevated to a categorical equivalence. By applying this representation to the original motivating special cases we bring to the surface their underlying similarities.
PubDate: 2022-08-01
DOI: 10.1007/s11225-022-09988-z

• On Extracting Variable Herbrand Disjunctions

Abstract: Abstract Some quantitative results obtained by proof mining take the form of Herbrand disjunctions that may depend on additional parameters. We attempt to elucidate this fact through an extension to first-order arithmetic of the proof of Herbrand’s theorem due to Gerhardy and Kohlenbach which uses the functional interpretation.
PubDate: 2022-08-01
DOI: 10.1007/s11225-022-09990-5

• The G4i Analogue of a G3i Sequent Calculus

Abstract: Abstract This paper provides a method to obtain terminating analytic calculi for a large class of intuitionistic modal logics. For a given logic L with a cut-free calculus G that is an extension of G3ip the method produces a terminating analytic calculus that is an extension of G4ip and equivalent to G. G4ip was introduced by Roy Dyckhoff in 1992 as a terminating analogue of the calculus G3ip for intuitionistic propositional logic. Thus this paper can be viewed as an extension of Dyckhoff’s work to intuitionistic modal logic.
PubDate: 2022-07-15
DOI: 10.1007/s11225-022-10008-3

• On Relative Principal Congruences in Term Quasivarieties

Abstract: Abstract Let $${\mathcal {K}}$$ be a quasivariety. We say that $${\mathcal {K}}$$ is a term quasivariety if there exist an operation of arity zero e and a family of binary terms $$\{t_i\}_{i\in I}$$ such that for every $$A \in {\mathcal {K}}$$ , $$\theta$$ a $${\mathcal {K}}$$ -congruence of A and $$a,b\in A$$ the following condition is satisfied: $$(a,b)\in \theta$$ if and only if $$(t_{i}(a,b),e) \in \theta$$ for every $$i\in I$$ . In this paper we study term quasivarieties. For every $$A\in {\mathcal {K}}$$ and $$a,b\in A$$ we present a description for the smallest $${\mathcal {K}}$$ -congruence containing the pair (a, b). We apply this result in order to characterize $${\mathcal {K}}$$ -compatible functions on A (i.e., functions which preserve all the $${\mathcal {K}}$$ -congruences of A) and we give two applications of this property: (1) we give necessary conditions on $${\mathcal {K}}$$ for which for every $$A \in {\mathcal {K}}$$ the $${\mathcal {K}}$$ -compatible functions on A coincides with a polynomial over finite subsets of A; (2) we give a method to build up $${\mathcal {K}}$$ -compatible functions.
PubDate: 2022-07-07
DOI: 10.1007/s11225-022-10011-8

• Logics of Order and Related Notions

Abstract: Abstract The aim of the paper is twofold. First, we want to recapture the genesis of the logics of order. The origin of this notion is traced back to the work of Jerzy Kotas, Roman Suszko, Richard Routley and Robert K. Meyer. A further development of the theory of logics of order is presented in the papers of Jacek K. Kabziński. Quite contemporarily, this notion gained in significance in the papers of Carles Noguera and Petr Cintula. Logics of order are named there logics of weak implications. They play a crucial role in their monograph (Noguera and Cintula Logic and Implication. An Introduction to the General Algebraic Study of Non-Classical Logics, Trends in Logic 57, Springer, Berlin, 2021). But, more importantly, the other goal is to define some subclasses of the logics of order in reference to later results of Jacek K. Kabziński and Michael Dunn. The original conception of implication is due to Kabziński. Implication is a stronger notion than the notion of the connective of order aka weak implication. As a result, the three subclasses of logics of order are isolated: logics of implication, logics of symmetry, and tonoidal logics. These notions are uniformly defined and investigated from various viewpoints in terms of consequence operations. The emphasis is put on their semantics.
PubDate: 2022-06-28
DOI: 10.1007/s11225-022-10009-2

• Nils Kürbis, Proof and Falsity: A Logical Investigation, Cambridge
University Press, 2019, pp. 316; ISBN: 978-110-87-1672-7
(Softcover)£24.99, ISBN: 978-110-84-8130-4 (Hardcover)£78.99, ISBN:
978-110-86-2517-3 (eBook) \$26.00.

PubDate: 2022-06-11
DOI: 10.1007/s11225-022-10002-9

• Natural Deduction Systems for Intuitionistic Logic with Identity

Abstract: Abstract The aim of the paper is to present two natural deduction systems for Intuitionistic Sentential Calculus with Identity (ISCI); a syntactically motivated $$\mathsf {ND}^1_{\mathsf {ISCI}}$$ and a semantically motivated $$\mathsf {ND}^2_{\mathsf {ISCI}}$$ . The formulation of $$\mathsf {ND}^1_{\mathsf {ISCI}}$$ is based on the axiomatic formulation of ISCI. Its rules cannot be straightforwardly classified as introduction or elimination rules; ISCI-specific rules are based on axioms characterizing the identity connective. The system does not enjoy the standard subformula property, but due to the normalization procedure non-subformulas can label only leaves of proofs. In $$\mathsf {ND}^2_{\mathsf {ISCI}}$$ , we propose only two general identity-related rules, in reference to the treatment of the identity connective in First-Order Logic.
PubDate: 2022-06-11
DOI: 10.1007/s11225-022-09995-0

• Correction to: Can Başkent, Thomas Macaulay Ferguson (eds.), Graham
Priest on Dialetheism and Paraconsistency, Springer International
Publishing, Outstanding Contributions to Logic, Vol. 18, 2019, pp. 704+xi;
ISBN 978-3-030-25367-7 (Softcover) 106.99 €, ISBN 978-3-030-25364-6
(Hardcover) 149.79 €.

Abstract: A Correction to this paper has been published: 10.1007/s11225-021-09980-z
PubDate: 2022-06-06
DOI: 10.1007/s11225-022-09999-w

• Beishui Liao, Thomas Ågotnes, Yi N. Wang, (eds.), Dynamics, Uncertainty
and Reasoning, vol. 4 of Logic in Asia: Studia Logica Library, Springer,
Singapore, 2019, pp. 207+xii; ISBN: 978-981-13-7793-8 (Softcover) 117,69
€, ISBN: 978-981-13-7790-7 (Hardcover) 160,49 €, ISBN:
978-981-13-7791-4 (eBook) 93,08 €.

PubDate: 2022-06-06
DOI: 10.1007/s11225-022-09996-z

• Correction to: Cut-free Sequent Calculus and Natural Deduction for the
Tetravalent Modal Logic

PubDate: 2022-06-01
DOI: 10.1007/s11225-021-09982-x

• Obituary

PubDate: 2022-05-11
DOI: 10.1007/s11225-022-10005-6

JournalTOCs
School of Mathematical and Computer Sciences
Heriot-Watt University
Edinburgh, EH14 4AS, UK
Email: journaltocs@hw.ac.uk
Tel: +00 44 (0)131 4513762