共查询到20条相似文献,搜索用时 15 毫秒
1.
After defining, for each many-sorted signature Σ = (S, Σ), the category Ter(Σ), of generalized terms for Σ (which is the dual of the Kleisli category for
\mathbb TS{\mathbb {T}_{\bf \Sigma}}, the monad in Set
S
determined by the adjunction
TS \dashv GS{{\bf T}_{\bf \Sigma} \dashv {\rm G}_{\bf \Sigma}} from Set
S
to Alg(Σ), the category of Σ-algebras), we assign, to a signature morphism d from Σ to Λ, the functor dà{{\bf d}_\diamond} from Ter(Σ) to Ter(Λ). Once defined the mappings that assign, respectively, to a many-sorted signature the corresponding category of generalized
terms and to a signature morphism the functor between the associated categories of generalized terms, we state that both mappings
are actually the components of a pseudo-functor Ter from Sig to the 2-category Cat. Next we prove that there is a functor TrΣ, of realization of generalized terms as term operations, from Alg(Σ) × Ter(Σ) to Set, that simultaneously formalizes the procedure of realization of generalized terms and its naturalness (by taking into account
the variation of the algebras through the homomorphisms between them). We remark that from this fact we will get the invariance
of the relation of satisfaction under signature change. Moreover, we prove that, for each signature morphism d from Σ to Λ, there exists a natural isomorphism θ
d from the functor TrL °(Id ×dà){{{\rm Tr}^{\bf {\bf \Lambda}} \circ ({\rm Id} \times {\bf d}_\diamond)}} to the functor TrS °(d* ×Id){{\rm Tr}^{\bf \Sigma} \circ ({\bf d}^* \times {\rm Id})}, both from the category Alg(Λ) × Ter(Σ) to the category Set, where d* is the value at d of the arrow mapping of a contravariant functor Alg from Sig to Cat, that shows the invariant character of the procedure of realization of generalized terms under signature change. Finally,
we construct the many-sorted term institution by combining adequately the above components (and, in a derived way, the many-sorted
specification institution), but for a strict generalization of the standard notion of institution. 相似文献
2.
Joke Meheus 《Journal of Philosophical Logic》2006,35(6):539-567
In this paper, I present the modal adaptive logic AJ
r
(based on S5) as well as the discussive logic D
r
2
that is defined from it. D
r
2
is a (non-monotonic) alternative for Jaśkowski’s paraconsistent system D
2
. Like D
2
, D
r
2
validates all single-premise rules of Classical Logic. However, for formulas that behave consistently, D
r
2
moreover validates all multiple-premise rules of Classical Logic. Importantly, and unlike in the case of D
2
, this does not require the introduction of discussive connectives. It is argued that this has clear advantages with respect to one of the main application contexts of discussive logics, namely the interpretation of discussions.*Research for this paper was indirectly supported by the Flemish Minister responsible for Science and Technology (contract BIL1/8). The author is indebted to Leon Horsten, Jo?o Marcos, Jerzy Perzanowski, Liza Verhoeven, and especially to the referee and to Diderik Batens for comments and suggestions. 相似文献
3.
Dorota Leszczyńska-Jasion 《Studia Logica》2008,89(3):365-399
The aim of this paper is to present the method of Socratic proofs for seven modal propositional logics: K5, S4.2, S4.3, S4M, S4F, S4R and G. This work is an extension of [10] where the method was presented for the most common modal propositional logics: K, D, T, KB, K4, S4 and S5.
Presented by Jacek Malinowski 相似文献
4.
Paolo Gentilini 《Journal of Applied Logic》2011,9(3):171-202
A proof-theoretic analysis and new arithmetical semantics are proposed for some paraconsistent C-systems, which are a relevant sub-class of Logics of Formal Inconsistency (LFIs) introduced by W.A. Carnielli et al. (2002, 2005) [8] and [9]. The sequent versions BC, CI, CIL of the systems bC, Ci, Cil presented in Carnielli et al. (2002, 2005) [8] and [9] are introduced and examined. BC, CI, CIL admit the cut-elimination property and, in general, a weakened sub-formula property. Moreover, a formal notion of constructive paraconsistent system is given, and the constructivity of CI is proven. Further possible developments of proof theory and provability logic of CI-based arithmetical systems are sketched, and a possible weakened Hilbert?s program is discussed. As to the semantical aspects, arithmetical semantics interprets C-system formulas into Provability Logic sentences of classical Arithmetic PA (Artemov and Beklemishev (2004) [2], Japaridze and de Jongh (1998) [19], Gentilini (1999) [15], Smorynski (1991) [22]): thus, it links the notion of truth to the notion of provability inside a classical environment. It makes true infinitely many contradictions B∧¬B and falsifies many arbitrarily complex instances of non-contradiction principle ¬(A∧¬A). Moreover, arithmetical models falsify both classical logic LK and intuitionistic logic LJ, so that a kind of metalogical completeness property of LFI-paraconsistent logic w.r.t. arithmetical semantics is proven. As a work in progress, the possibility to interpret CI-based paraconsistent Arithmetic PACI into Provability Logic of classical Arithmetic PA is discussed, showing the role that PACIarithmetical models could have in establishing new meta-mathematical properties, e.g. in breaking classical equivalences between consistency statements and reflection principles. 相似文献
5.
The goal of this two-part series of papers is to show that constructive logic with strong negation N is definitionally equivalent to a certain axiomatic extension NFL
ew
of the substructural logic FL
ew
. In this paper, it is shown that the equivalent variety semantics of N (namely, the variety of Nelson algebras) and the equivalent variety semantics of NFL
ew
(namely, a certain variety of FL
ew
-algebras) are term equivalent. This answers a longstanding question of Nelson [30]. Extensive use is made of the automated
theorem-prover Prover9 in order to establish the result.
The main result of this paper is exploited in Part II of this series [40] to show that the deductive systems N and NFL
ew
are definitionally equivalent, and hence that constructive logic with strong negation is a substructural logic over FL
ew
.
Presented by Heinrich Wansing 相似文献
6.
An extension L
+ of the non-associative Lambek calculus Lis defined. In L
+ the restriction to formula-conclusion sequents is given up, and additional left introduction rules for the directional implications are introduced. The system L
+ is sound and complete with respect to a modification of the ternary frame semantics for L. 相似文献
7.
8.
This paper is devoted to the study of some subvarieties of the variety Qof Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q
3
of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Qis far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q
3
and we construct the lattice of subvarieties (Q
3
) of the variety Q
3
. 相似文献
9.
The present work contains an axiomatic treatment of some parts of the restricted version of intuitionistic mathematics advocated
by G. F. C. Griss, also known as negationless intuitionistic mathematics.
Formal systems NPC, NA, and FIM
N
for negationless predicate logic, arithmetic, and analysis are proposed. Our Theorem 4 in Section 2 asserts the translatability
of Heyting's arithmetic HAinto NA. The result can in fact be extended to a large class of intuitionistic theories based on HAand their negationless counterparts. For instance, in Section 3 this is shown for Kleene's system of intuitionistic analysis
FIMand our FIM
N
.
This revised version was published online in June 2006 with corrections to the Cover Date. 相似文献
10.
Johannes Reichmayr 《International Forum of Psychoanalysis》2013,22(2):121-122
Abstract The impact and legacy of Karen Horney 1885-1952 The William Alanson White Institute of Psychiatry, Psychoanalysis and Psychology White Institute Elects New Editor News from the Association for the Advancement of Psychoanalysis, New York, USA News from Brazil: Conferences The Karen Horney Psychoanalytic Institute and Center The William Alanson White Institute The VII Scientific Conference of IFPS was held in Munich, August 26-29th 1992. Theme: Psychoanalysis between conformity and opposition. The V Nordic Conference for members from IFPS Societies in Finland, Norway and Sweden will be held near Stockholm, January 23-24, 1993. 相似文献
11.
In this paper we consider the structure of the class FGModS of full generalized models of a deductive system S from a universal-algebraic point of view, and the structure of the set of all the full generalized models of S on a fixed algebra A from the lattice-theoretical point of view; this set is represented by the lattice FACSs A of all algebraic closed-set systems C on A such that (A, C) ε FGModS. We relate some properties of these structures with tipically logical properties of the sentential logic S. The main algebraic properties we consider are the closure of FGModS under substructures and under reduced products, and the property that for any A the lattice FACSs A is a complete sublattice of the lattice of all algebraic closed-set systems over A. The logical properties are the existence
of a fully adequate Gentzen system for S, the Local Deduction Theorem and the Deduction Theorem for S. Some of the results are established for arbitrary deductive systems, while some are found to hold only for deductive systems
in more restricted classes like the protoalgebraic or the weakly algebraizable ones. The paper ends with a section on examples
and counterexamples.
Dedicated to the memory of Willem Johannes Blok 相似文献
12.
Elizabeth R. Drake Lori Engler-Todd Annette M. O'Connor Linda C. Surh Alasdair Hunter 《Journal of genetic counseling》1999,8(4):217-233
Objective:
To develop and evaluate a decision aid designed to prepare patients of advanced maternal age for counseling about prenatal diagnostic testing.
Setting:
A regional genetics center.
Design:
A before/after study.
Interventions:
Participants used an audioguided workbook to learn about options and outcomes and to clarify personal risks, values, questions, and predispositions.
Subjects:
21 women of advanced maternal age and 17 spouses.
Main outcome measures:
Knowledge of prenatal testing alternatives, decisional conflict, level of anxiety, and acceptability of the decision aid.
Results:
After using the decision aid, participants had significantly reduced decisional conflict (uncertainty) and a significant increase in knowledge. There was no effect on state or trait anxiety. More than three-quarters of participants were satisfied with the length, clarity, balance, and acceptability of the decision aid.
Conclusions:
The decision aid shows promise as a useful aid for preparing couples for counseling. 相似文献
13.
Michael V. Antony 《Erkenntnis》2008,68(2):239-263
Intuitively it has seemed to many that our concepts conscious state and conscious creature are sharp rather than vague, that they can have no borderline cases. On the other hand, many who take conscious states to
be identical to, or realized by, complex physical states are committed to the vagueness of those concepts. In the paper I
argue that conscious state and conscious creature are sharp by presenting four necessary conditions for conceiving borderline cases in general, and showing that some of those
conditions cannot be met with conscious state. I conclude that conscious state is sharp, and the conclusion is then extended to conscious creature. The paper ends with a brief discussion of some implications.
相似文献
Michael V. AntonyEmail: |
14.
Meredith Sabini 《Psychological Perspectives》2013,56(1):120-123
Up From Scapegoating: Awakening Consciousness in Groups. 1995. By Arthur D. Colman Wilmette, IL: Chiron. The Wounded Jung. (1996). By Robert C. Smith Evanston, IL: Northwestern University Press. The Body: An Encyclopedia for Research in Archetypal Symbolism. 1996. By George R. Elder Boston: Shambhala. Gifts of Suffering. 1996. By Polly Young-Eisendrath New York; Addison-Wesley Co. The Religious Function of die Psyche. 1996. By Lionel Corbett London &; New York: Routledge. Buddhism and the Art of Psychotherapy. 1996. By Hayao Kawai College Station, TX: Texas A &; M University Press. The Soul's Code: In Search of Character and Calling. 1996. By James Hillman New York: Random House. Kinds of Power A Guide to Its Intelligent Uses. 1995. By James Hillman New York: Doubleday. Psychotherapy as a Mutual Process. 1996. By J. Marvin Spiegelman Tempe, AZ: New Falcon Publications. Soul Cards. By Deborah Koff-Chapin 1995. Langley, WA: The Center for Touch Drawing. 相似文献
15.
In this paper we study the relations between the fragment L of classical logic having just conjunction and disjunction and the variety D of distributive lattices, within the context of Algebraic Logic. We prove that these relations cannot be fully expressed either with the tools of Blok and Pigozzi's theory of algebraizable logics or with the use of reduced matrices for L. However, these relations can be naturally formulated when we introduce a new notion of model of a sequent calculus. When applied to a certain natural calculus for L, the resulting models are equivalent to a class of abstract logics (in the sense of Brown and Suszko) which we call distributive. Among other results, we prove that D is exactly the class of the algebraic reducts of the reduced models of L, that there is an embedding of the theories of L into the theories of the equational consequence (in the sense of Blok and Pigozzi) relative to D, and that for any algebra A of type (2,2) there is an isomorphism between the D-congruences of A and the models of L over A. In the second part of this paper (which will be published separately) we will also apply some results to give proofs with a logical flavour for several new or well-known lattice-theoretical properties.Dedicated to our master, Francesc d'A. Sales, on his 75th birthday 相似文献
16.
Dnevniki ("Diaries") by Eduard Kuznetsov. Les Editeurs Réunis, Paris, 1973. 374 pp. Sergei by Sergei Kourdakov. Oliphants, London, 1973. 205 pp. £2.50. Zakonodatelstvo o religii v SSSR. Doklad Komitetu prav cheloveka ("Legislation on Religion in the USSR. Report submitted to the Human Rights Committee") by I. R. Shafarevich, Paris, 1973. 81 pp. 相似文献
17.
On the Representation of N4-Lattices 总被引:2,自引:1,他引:1
N4-lattices provide algebraic semantics for the logic N4, the paraconsistent variant of Nelson's logic with strong negation. We obtain the representation of N4-lattices showing that the structure of an arbitrary N4-lattice is completely determined by a suitable implicative lattice with distinguished filter and ideal. We introduce also special filters on N4-lattices and prove that special filters are exactly kernels of homomorphisms. Criteria of embeddability and to be a homomorphic image are obtained for N4-lattices in terms of the above mentioned representation. Finally, subdirectly irreducible N4-lattices are described. 相似文献
18.
The Journal, Publisher and Author have agreed to remove this article having received expressions of concern regarding the representation of certain clinical data.For more information, please contact the Publisher or Editor of this Journal.Article title: Thinking Developmentally: A Contemporary Psychoanalytic PerspectiveAuthors: Sally Bloom-FeshbachJournal: Journal of Infant, Child, and Adolescent PsychotherapyCitation information: Volume 17, Number 2, pages 91–95Version of Record Published Online: 31 May 2018DOI: http://dx.doi.org/10.1080/15289168.2018.1456122 相似文献
19.
A method for constructing continua of logics squeezed between some intermediate predicate logics, developed by Suzuki [8], is modified and applied to intervals of the form [L, L+ ¬¬S], where Lis a predicate logic, Sis a closed predicate formula. This solves one of the problems from Suzuki's paper. 相似文献
20.
The goal of this two-part series of papers is to show that constructive logic with strong negation N is definitionally equivalent to a certain axiomatic extension NFL
ew
of the substructural logic FL
ew
. The main result of Part I of this series [41] shows that the equivalent variety semantics of N (namely, the variety of Nelson algebras) and the equivalent variety semantics of NFL
ew
(namely, a certain variety of FL
ew
-algebras) are term equivalent. In this paper, the term equivalence result of Part I [41] is lifted to the setting of deductive
systems to establish the definitional equivalence of the logics N and NFL
ew
. It follows from the definitional equivalence of these systems that constructive logic with strong negation is a substructural
logic.
Presented by Heinrich Wansing 相似文献