Helena Rasiowa - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 24 from 24

1995

A partially ordered extention of the integersGeorge Epstein, Helena Rasiowa. sLogica, 54(3):303-332, 1995.

1994

Axiomatization and completeness of uncountably valued approximation logicHelena Rasiowa. sLogica, 53(1):137-160, 1994.

In Memoriam Cecylia RauszerHelena Rasiowa. sLogica, 53(4):467-472, 1994.

1993

Mechanical Proof Systems for Logic II, Consensus Programs and Their ProcessingHelena Rasiowa, V. Wiktor Marek. jiis, 2(2):149-164, 1993.

Mechanical Proof Systems for Logic II, Consensus Programs and Their Procedding (Extended Abstract)Helena Rasiowa, V. Wiktor Marek. ismis 1993: 142-151

1991

Theory and Uses of Post Algebras of Order /omega+/omega/ast. Part IIGeorge Epstein, Helena Rasiowa. ismvl 1991: 248-254

Mechanical proof systems for logic: Reaching consensus by groups of intelligent agentsHelena Rasiowa. ijar, 5(4):415-432, 1991. [doi]

1990

Theory and Uses of Post Algebras of Order omega+omegaw/ast.IGeorge Epstein, Helena Rasiowa. ismvl 1990: 42-47

1989

Plain Semi-Post algebras as a poset-based generalization of post algebras and their representabilityNguyen Cat Ho, Helena Rasiowa. sLogica, 48(4):509-530, 1989. [doi]

1987

Subalgebras and homomorphisms of semi-Post algebrasNguyen Cat Ho, Helena Rasiowa. sLogica, 46(2):161-175, 1987. [doi]

Semi-Post algebrasNguyen Cat Ho, Helena Rasiowa. sLogica, 46(2):149-160, 1987. [doi]

Approximation Reasoning and Scott s Information SystemsHelena Rasiowa, George Epstein. ismis 1987: 33-42

Logic of Approximation ReasoningHelena Rasiowa. csl 1988: 188-210

1986

Approximating Sets with Equivalence RelationsV. Wiktor Marek, Helena Rasiowa. TCS, 48(3):145-152, 1986.

Approximating sets with equivalence relationsV. Wiktor Marek, Helena Rasiowa. ismis 1986: 190-200 [doi]

1985

+-valued Post logicHelena Rasiowa. sLogica, 44(4):353-368, 1985. [doi]

Approximation logicHelena Rasiowa, Andrzej Skowron. aii 1986: 123-139

1984

Theories of interacting stacksHelena Rasiowa. sct 1985: 276-287 [doi]

Rough concepts logicHelena Rasiowa, Andrzej Skowron. sct 1985: 288-297 [doi]

1980

Completeness in Classical Logic of Complex AlgorithmsHelena Rasiowa. mfcs 1980: 488-503

1979

Logic of complex algorithmsHelena Rasiowa. fct 1979: 370-381

1974

omega+-Valued Algorithmic Logic as a Tool to Investigate ProceduresHelena Rasiowa. mfcs 1975: 423-450

1973

Formalized omega:::+:::-valued Algorithmic SystemsHelena Rasiowa. bapmam, 21(6):559-566, 1973.

On the Logical Structure of Mix-valued Programs and the omega:::+:::-valued Algorithmic LogicHelena Rasiowa. bapmam, 21(5):451-458, 1973.

Sign in or sign up to see more results.

runs on WebDSL