Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Results found: 2

first rewind previous Page / 1 next fast forward last

Search results

help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1

Refutation Systems for a System of Nonsense-Logic

100%
Sochacki R.
Logic and Logical Philosophy
|
2011
|
vol. 20
|
issue 3
233-239
EN
In the paper rejection systems for a system of nonsense-logic are investigated. The first rejection system consists of four rejected axioms and only one rejection rule - the rule of rejection by detachment. The second one consists of one rejected axiom and two rejection rules: the rule of rejection by detachment and the rule of rejection by substitution. The aim of the paper is to present also a proof of Ł-decidability for the considered systems.
2
Publication available in full text mode
Content available

The mixtilinear excircle vs the mixtilinear incircle

63%
Pater M., Sochacki R.
Annales Universitatis Paedagogicae Cracoviensis. Studia ad Didacticam Mathematicae Pertinentia
|
2023
|
vol. 14
13-24
EN
Many theorems concerning incircle of a random triangle can be transferred by analogy onto it's excircle. In the following paper we aim to show analogies between mixtilinear incircle and mixtilinear excircle by presenting variants of theorems proved in (Pater, Sochacki, 2020).
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.