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

Refine search results

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  asercja sekwencyjna
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1
100%
EN
An axiomatic characterisation of the functor of sequential assertion is propsed here. By means of it the functor of sequential conjunction is defined. In the temporal interpretation these functors are respectively read as: next/then and and-next/and-then. It is proved that the proposed system (SAS) and its strenghtening (SAS*) comprise respectively von Wright’s And Next and And Then systems. The consistency and independence of axioms of the richer of the two proposed structures (SAS*) is settled by interpretation in the quadrivalent propositional calculus.
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.